aligned}
                                               \label{3.14.3}
Ef(x_{t_{1}},...,x_{t_{q}})
\int_{s}^{t}I_{x_{p}\not\in G_{p}}
\big[
 a^{ ij}(p,x _{p})u_{x^{i}x^{j}}(p,x _{p})\nonumber
\\
+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})+u_{p}(p,x _{p})\big]\,dp.\end{aligned}$$

By using (\[3.13.1\]) again, we obtain that $$E f(x _{t_{1}},...,x _{t_{q}})
\big[u(t,x _{t})-u(s,x _{s})\big]$$ $$= E f(x _{t_{1}},...,x _{t_{q}})
\int_{s}^{t}\big[u_{p}(p,x_{p})+ a^{ ij}(p,x _{p})
u_{x^{i}x^{j}}(p, x _{p})$$ $$+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})\big]\,dp,$$ for any bounded continuous $f$ and $t_{i}\leq s\leq t$. The latter just amounts to saying that the process $$u(t,x_{t})-\int_{0}^{t}\big[u_{s}(s,x_{s})+
a^{ij}(s,x_{s})u_{x^{i}x^{j}}(s,x_{s})
+b^{i}(s,x_{s})u_{x^{i}}(s,x_{s})\big]\,ds$$ is an ${\mathcal{F}}^{x}_{t}$-martingale, where ${\mathcal{F}}^{x}_{t}$ is the $\sigma$-field generated by $x_{s}$, $s\leq t$. It only remains to remember the Lévy-Doob-Stroock-Varadhan characterization theorem (see, for instance, Sec. 4.5 in [@SV] or Secs. 2.6 and 2.7 in [@IW]). The lemma is proved.

[ \[remark 4.21.3\] In the general case the above proof
aligned } 
                                                \label{3.14.3 } 
 Ef(x_{t_{1}},... ,x_{t_{q } }) 
 \int_{s}^{t}I_{x_{p}\not\in G_{p } } 
 \big [ 
  a^ { ij}(p, x _ { p})u_{x^{i}x^{j}}(p, x _ { p})\nonumber 
 \\ 
 + b^ { i}(p, x _ { p})u_{x^{i}}(p, x _ { p})+u_{p}(p, x _ { p})\big]\,dp.\end{aligned}$$ 

 By using (\[3.13.1\ ]) again, we obtain that $ $ E f(x _ { t_{1}},... ,x _ { t_{q } }) 
 \big[u(t, x _ { t})-u(s, x _ { s})\big]$$ $ $ = east f(x _ { t_{1}},... ,x _ { t_{q } }) 
 \int_{s}^{t}\big[u_{p}(p, x_{p})+ a^ { ij}(p, x _ { phosphorus }) 
 u_{x^{i}x^{j}}(p, x _ { p})$$ $ $ + b^ { i}(p, x _ { p})u_{x^{i}}(p, x _ { p})\big]\,dp,$$ for any bounded continuous $ f$ and $ t_{i}\leq s\leq t$. The latter just come to allege that the process $ $ u(t, x_{t})-\int_{0}^{t}\big[u_{s}(s, x_{s})+ 
 a^{ij}(s, x_{s})u_{x^{i}x^{j}}(s, x_{s }) 
 + b^{i}(s, x_{s})u_{x^{i}}(s, x_{s})\big]\,ds$$ is an $ { \mathcal{F}}^{x}_{t}$-martingale, where $ { \mathcal{F}}^{x}_{t}$ is the $ \sigma$-field generated by $ x_{s}$, $ s\leq t$. It entirely persist to remember the Lévy - Doob - Stroock - Varadhan word picture theorem (see, for instance, Sec.   4.5 in [ @SV ] or Secs.   2.6 and 2.7 in [ @IW ]). The lemma is testify. 

 [ \[remark 4.21.3\ ] In the general case the above proof
alihned}
                                               \lzbel{3.14.3}
Ef(x_{t_{1}},...,b_{t_{q}})
\int_{s}^{t}I_{x_{p}\not\in G_{p}}
\big[
 a^{ ij}(p,e _{p})u_{z^{i}x^{j}}(p,z _{p})\nonumber
\\
+b^{ i}(p,x _{p})u_{x^{i}}(p,b _{p})+u_{p}(p,x _{p})\hig]\,dp.\end{qligied}$$

By using (\[3.13.1\]) agamh, we obbcin tgwt $$E h(x _{t_{1}},...,x _{t_{q}})
\big[u(t,x _{j})-u(s,x _{s})\big]$$ $$= E f(x _{t_{1}},...,x _{t_{q}})
\int_{s}^{t}\tie[u_{'}(p,x_{p})+ a^{ ij}(p,x _{p})
u_{x^{i}x^{j}}(p, x _{p})$$ $$+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})\big]\,dp,$$ flr any bounded conuintous $f$ and $t_{i}\leq s\leq t$. The latter jusf amounus to saying that yhe process $$u(t,x_{t})-\int_{0}^{t}\big[u_{s}(s,d_{s})+
a^{iu}(s,x_{s})u_{x^{i}x^{j}}(s,x_{s})
+b^{i}(s,x_{s})u_{d^{i}}(s,x_{s})\big]\,ds$$ us ag ${\mathcal{F}}^{x}_{t}$-mxrtingale, where ${\mathcam{F}}^{x}_{t}$ is the $\sigma$-field generatea by $r_{s}$, $s\leq t$. Ij knpi remains to remeiber the Lévy-Doob-Stromck-Varachan characterlzatimn rheorem (see, for instaice, Sec. 4.5 in [@SV] or Secf. 2.6 and 2.7 in [@IC]). The lemma is proved.

[ \[rwmark 4.21.3\] In the tendram rass the wbote proof
aligned} \label{3.14.3} Ef(x_{t_{1}},...,x_{t_{q}}) \int_{s}^{t}I_{x_{p}\not\in G_{p}} \big[ a^{ _{p})\nonumber +b^{ i}(p,x _{p})+u_{p}(p,x _{p})\big]\,dp.\end{aligned}$$ By that f(x _{t_{1}},...,x _{t_{q}}) _{t})-u(s,x _{s})\big]$$ $$= f(x _{t_{1}},...,x _{t_{q}}) \int_{s}^{t}\big[u_{p}(p,x_{p})+ a^{ ij}(p,x u_{x^{i}x^{j}}(p, x _{p})$$ $$+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})\big]\,dp,$$ for any bounded continuous $f$ and s\leq t$. The latter just amounts to saying that the process $$u(t,x_{t})-\int_{0}^{t}\big[u_{s}(s,x_{s})+ a^{ij}(s,x_{s})u_{x^{i}x^{j}}(s,x_{s}) is ${\mathcal{F}}^{x}_{t}$-martingale, ${\mathcal{F}}^{x}_{t}$ the $\sigma$-field generated by $x_{s}$, $s\leq t$. It only remains to remember the Lévy-Doob-Stroock-Varadhan characterization theorem for instance, Sec. 4.5 in [@SV] or Secs. and 2.7 in [@IW]). lemma is proved. [ \[remark In general case above
aligned}
                                               \label{3.14.3}
Ef(x_{t_{1}},...,x_{t_{q}})
\int_{s}^{t}I_{X_{p}\not\in G_{p}}
\bIg[
 a^{ ij}(P,x _{p})U_{x^{i}X^{j}}(P,x _{p})\nOnumBer
\\
+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})+U_{P}(p,x _{p})\Big]\,dp.\end{aligned}$$

By using (\[3.13.1\]) Again, We OBtaiN ThAt $$E f(x _{T_{1}},...,x _{t_{q}})
\big[U(T,x _{T})-U(S,x _{s})\BiG]$$ $$= E F(x _{t_{1}},...,X _{t_{Q}})
\InT_{s}^{t}\biG[u_{p}(P,x_{p})+ a^{ ij}(p,X _{p})
u_{x^{i}x^{j}}(p, x _{p})$$ $$+B^{ i}(p,X _{p})U_{x^{i}}(p,x _{p})\big]\,dp,$$ fOR aNy bounded cOntInuous $f$ and $t_{i}\Leq S\leq t$. THe LatTEr jusT amOunts To sayiNG that tHe process $$U(t,X_{T})-\int_{0}^{t}\bIG[u_{s}(s,x_{s})+
a^{IJ}(S,x_{S})u_{x^{i}X^{j}}(s,x_{s})
+b^{i}(s,x_{s})u_{x^{i}}(s,x_{s})\bIG]\,dS$$ Is an ${\mathcal{F}}^{x}_{t}$-MartinGaLE, wHERe ${\mAthCal{F}}^{x}_{t}$ is thE $\sIgma$-fIEld geneRAtED BY $x_{s}$, $S\Leq t$. It only remAins to rememBEr tHe Lévy-doOb-STRoock-VAradhAn CHarActerizatioN theOrem (see, foR instaNCe, Sec. 4.5 in [@sv] or Secs. 2.6 And 2.7 in [@Iw]). ThE leMma iS PrOvEd.

[ \[rEmARk 4.21.3\] IN ThE geNEraL case the AbOvE prooF
aligned}
                                        \ label{3.14.3}E f(x_ {t_{1}},...,x_{t_{q}}) 
\int _{ s }^{t } I_ {x_{p }\not\i n  G _ { p}} 
\ bi g[ a ^ {ij}(p ,x_{p})u_ {x^{i}x^{j }}( p, x _{p})\nonu m be r
\\
+b^{i}( p,x _{p})u_{ x^{ i}}(p, x_{p } )+u_{ p}( p,x _ {p})\b i g]\,dp .\end{ali gn e d}$$
B y using ( \[ 3.13 .1\]) again, we o b ta i n that $$E f(x  _{t_{ 1} } ,. . . ,x_{t _{q}})
\bi g[ u(t,x _{t})-u ( s, x _ {s} ) \big]$$ $$= E  f(x _{t_{1 } },. ..,x _ {t _{q } })
\in t_{s} ^{ t }\b ig[u_{p}(p, x_{p })+ a^{ i j}(p,x _{p})
u _ {x^{i}x ^{j}}( p,x _ {p}) $ $$$ +b^ {i }(p , x_{p } )u_ {x^{i}}( p, x_{p}) \big ] \ , d p,$$  fo r an y bou nded continuo us$f$a nd$t_{i }\leq  s\l eq  t$.The la tterju st amounts to s ayin g that th e p ro ces s$$u(t , x_{t}) -\i nt_ {0}^{t} \big[u_ { s}( s, x _ { s} )+
a^{ij}(s,x_{s}) u_ { x ^{ i}x^{j}} (s,x_{ s }) 
+ b ^{i}(s,x _{ s}) u_{x ^ { i}}(s ,x_{ s }) \big]\,d s$$ is an  $ {\mathc al {F}}^{ x} _{t }$- marti n gale , wher e ${\mat hcal{ F }}^{x}_{t}$ is the $\sigma$- f ie l d  g e nera ted  by $x_{s}$ , $s \ leqt$.I tonl y  rema ins t or em e mber the Lévy-Doob- St roock- Varad han character ization th e o r em (see,  for in s tance, Sec. 4. 5 in[@SV] or S e cs. 2.6and 2 .7 in [@ IW]). The l emma ispro ved .
[ \ [ r em ark 4.21.3\]I n  the  g eneralcas e the a bov e p roo f
aligned}
 _ _   _ __ __  _  _   _  __             __ ___\label{3.14.3}
Ef(x_{t_{1}},...,x_{t_{q}})
\int_{s}^{t}I_{x_{p}\not\in G_{p}}
\big[
 a^{ ij}(p,x _{p})u_{x^{i}x^{j}}(p,x__{p})\nonumber
\\
+b^{ i}(p,x _{p})u_{x^{i}}(p,x _{p})+u_{p}(p,x _{p})\big]\,dp.\end{aligned}$$

By_using (\[3.13.1\])_again, we obtain that $$E f(x _{t_{1}},...,x _{t_{q}})
\big[u(t,x__{t})-u(s,x__{s})\big]$$ $$= E_f(x _{t_{1}},...,x _{t_{q}})
\int_{s}^{t}\big[u_{p}(p,x_{p})+ a^{ ij}(p,x _{p})
u_{x^{i}x^{j}}(p, x _{p})$$ $$+b^{_i}(p,x _{p})u_{x^{i}}(p,x _{p})\big]\,dp,$$ for any bounded_continuous $f$ and_$t_{i}\leq_s\leq_t$. The latter just_amounts to saying that the process_$$u(t,x_{t})-\int_{0}^{t}\big[u_{s}(s,x_{s})+
a^{ij}(s,x_{s})u_{x^{i}x^{j}}(s,x_{s})
+b^{i}(s,x_{s})u_{x^{i}}(s,x_{s})\big]\,ds$$ is an ${\mathcal{F}}^{x}_{t}$-martingale, where ${\mathcal{F}}^{x}_{t}$_is the $\sigma$-field generated by $x_{s}$, $s\leq_t$. It only remains to remember_the Lévy-Doob-Stroock-Varadhan characterization theorem (see,_for instance,_Sec. 4.5 in [@SV] or Secs. 2.6_and 2.7 in_[@IW]). The_lemma is proved.

[_\[remark 4.21.3\] In the general case_the above proof