“…To fulfill this, we need to impose the following sufficient condition, f (s, X s , 0, 0) ≥ 0. Indeed, to benefit from the comparison Theorem for globally Lipschitz BSDE, we first construct a sequence of globally Lipschitz generators (f n ) n∈N , by replacing f in BSDE (4.1) by f n defined in Lemma (3), to obtain the following family of approximating BSDEs Z n r (y)q(dr dy), s ∈ [t, T ] , (4.2) In view of Theorem (1), BSDE (4.2) has a unique solution (Y n , Z n ), for each integer n. Since h (X T ) ≥ 0, and f n ≥ 0, the comparison Theorem (cf.Theorem 3.9 in [6]), leads to Y n ≥ 0. Using similar arguments in the proof of Theorem (2), one can easily show that (Y n , Z n ) is a Cauchy sequence then it converges to (Y, Z) .…”