1.$ As a consequence, by the definition of the projector $\Pi$, we get $$\label{pi}
\left<\xi, z_0(\theta)\right>=\left<\Pi\,\xi, z_0(\theta)\right>,$$ for any $\theta\in [0,T]$. Therefore $$\left<P'(x_0(\theta))h,
z_0(\theta)\right>=\left<\Pi\,P'(x_0(\theta))(I-\Pi)h,
z_0(\theta)\right>=0,$$ for any $\theta\in [0,T]$ and any $h\in {{\mathbb{R}}}^n$. Then, by deriving with respect to $\theta$, we obtain $$\left<P'(x_0(\theta))h,\dot
  z_0(\theta)\right>= \left<-P''(x_0(\theta))\dot
  x_0(\theta)h,z_0(\theta)\right>,$$ for any $\theta\in [0,T]$ and any $h\in {{\mathbb{R}}}^n$. Therefore, we can rewrite the left hand side of (\[R\]) with $(I-\Pi)\left(\left.P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0)=h$ as follows $$\left<P'(x_0(\theta))(I-\Pi)\left(\left.P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0),\dot
  z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot
  x_0(\theta),z_0(\theta)\right>$$ or equivalently, $$\left<Q(x_0(\theta),0),\dot z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot
  x_0(\theta),z_0(\theta)\right>,$$ which is the derivative of $M(\theta)$ at any $\theta\in [0,T]$ according to the formula given by Lemma \[lem3\].

0.2truecm Finally, we can prove the following.

\[th3\] Assume that there exists $\theta_
1.$ As a consequence, by the definition of the projector $ \Pi$, we get $ $ \label{pi } 
 \left<\xi, z_0(\theta)\right>=\left<\Pi\,\xi, z_0(\theta)\right>,$$ for any $ \theta\in [ 0,T]$. Therefore $ $ \left < P'(x_0(\theta))h, 
 z_0(\theta)\right>=\left<\Pi\,P'(x_0(\theta))(I-\Pi)h, 
 z_0(\theta)\right>=0,$$ for any $ \theta\in [ 0,T]$ and any $ h\in { { \mathbb{R}}}^n$. Then, by deriving with respect to $ \theta$, we receive $ $ \left < P'(x_0(\theta))h,\dot 
   z_0(\theta)\right>= \left<-P''(x_0(\theta))\dot 
   x_0(\theta)h, z_0(\theta)\right>,$$ for any $ \theta\in [ 0,T]$ and any $ h\in { { \mathbb{R}}}^n$. consequently, we can rewrite the left hand slope of (\[R\ ]) with $ (I-\Pi)\left(\left. P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0)=h$ as postdate $ $ \left < P'(x_0(\theta))(I-\Pi)\left(\left. P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0),\dot 
   z_0(\theta)\right>+\left < Q'_v(x_0(\theta),0)\dot 
   x_0(\theta),z_0(\theta)\right>$$ or equivalently, $ $ \left < Q(x_0(\theta),0),\dot z_0(\theta)\right>+\left < Q'_v(x_0(\theta),0)\dot 
   x_0(\theta),z_0(\theta)\right>,$$ which is the derivative of $ M(\theta)$ at any $ \theta\in [ 0,T]$ according to the recipe given by Lemma   \[lem3\ ]. 

 0.2truecm Finally, we can testify the following. 

 \[th3\ ] Assume that there exist $ \theta _
1.$ As a consequence, by the deninition of the krijectoc $\Pi$, we get $$\labdl{pi}
\left<\xi, z_0(\theta)\right>=\left<\Pi\,\ei, z_0(\rheta)\eight>,$$ for any $\theta\in [0,G]$. Therefoge $$\left<P'(x_0(\rhete))h,
z_0(\theta)\right>=\lefv<\Li\,P'(x_0(\thebc))(I-\Pi)h,
a_0(\bheta)\xijht>=0,$$ for any $\theja\in [0,T]$ and aty $h\in {{\mathbb{R}}}^t$. Ghzn, by deriving with respect to $\theta$, we obtsij $$\left<P'(x_0(\theta))h,\qot
  s_0(\thefa)\right>= \left<-P''(x_0(\theta))\dot
  x_0(\theta)h,z_0(\thsta)\righu>,$$ for any $\theta\in [0,Y]$ and any $h\in {{\mathbb{R}}}^n$. Thegefoge, we can rewrite hhe left habd syee of (\[R\]) with $(I-\Pi)\left(\left.P'(x_0(\theta))\riggt|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0)=h$ as fullowx $$\left<P'(x_0(\thgcq))(I-\Pl)\neft(\left.P'(x_0(\tieta))\ridht|_{(I-\Pi)\mathbb{V}^m}\right)^{-1}X(x_0(\theta),0),\cot
  z_0(\theta)\rigmt>+\lefv<Q'_v(x_0(\rheta),0)\dot
  x_0(\theta),z_0(\thete)\right>$$ or equivalentjy, $$\left<Q(x_0(\dhzta),0),\dot z_0(\theta)\right>+\lefr<Q'_c(x_0(\theja),0)\dot
  x_0(\tfwta),x_0(\thtta)\ciggt>,$$ whifh ms the deribative of $M(\rheta)$ at any $\theta\im [0,E]$ according to the fjriula given by Lemma \[lem3\].

0.2truecm Finally, we cah prove the following.

\[th3\] Assume that there exlsts $\thetw_
1.$ As a consequence, by the definition projector we get \left<\xi, z_0(\theta)\right>=\left<\Pi\,\xi, z_0(\theta)\right>,$$ $$\left<P'(x_0(\theta))h, z_0(\theta)\right>=0,$$ for any [0,T]$ and any {{\mathbb{R}}}^n$. Then, by deriving with respect $\theta$, we obtain $$\left<P'(x_0(\theta))h,\dot z_0(\theta)\right>= \left<-P''(x_0(\theta))\dot x_0(\theta)h,z_0(\theta)\right>,$$ for any $\theta\in [0,T]$ and any {{\mathbb{R}}}^n$. Therefore, we can rewrite the left hand side of (\[R\]) with $(I-\Pi)\left(\left.P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0)=h$ follows z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot or $$\left<Q(x_0(\theta),0),\dot z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot x_0(\theta),z_0(\theta)\right>,$$ which is the derivative of $M(\theta)$ at any $\theta\in [0,T]$ according to the given by Lemma \[lem3\]. 0.2truecm Finally, we can the following. \[th3\] Assume there exists $\theta_
1.$ As a consequence, by the definiTion of the pRojecTor $\pi$, wE gEt $$\laBel{pI}
\left<\xi, z_0(\theta)\rIGht>=\lEft<\Pi\,\xi, z_0(\theta)\right>,$$ for aNy $\theTa\IN [0,T]$. ThEReFore $$\lEft<P'(x_0(\thETa))H,
Z_0(\TheTa)\RiGht>=\LeFT<\PI\,P'(x_0(\thEta))(i-\Pi)h,
z_0(\thEta)\right>=0,$$ foR anY $\tHeta\in [0,T]$ and anY $H\iN {{\mathbb{R}}}^n$. THen, By deriving wiTh rEspect To $\TheTA$, we obTaiN $$\left<p'(x_0(\thetA))H,\dot
  z_0(\tHeta)\right>= \LeFT<-P''(x_0(\theTA))\dot
  x_0(\thETA)h,Z_0(\theTa)\right>,$$ for any $\thetA\In [0,t]$ And any $h\in {{\mathbB{R}}}^n$. TheReFOrE, WE caN reWrite the leFt Hand sIDe of (\[R\]) wiTH $(I-\pI)\LEft(\LEft.P'(x_0(\theta))\rigHt|_{(I-\Pi)\mathbb{r}^N}\riGht)^{-1}Q(x_0(\tHeTa),0)=h$ AS folloWs $$\lefT<P'(X_0(\TheTa))(I-\Pi)\left(\leFt.P'(x_0(\Theta))\righT|_{(I-\Pi)\maTHbb{R}^n}\riGHt)^{-1}Q(x_0(\theTa),0),\dot
  z_0(\TheTa)\rIght>+\LEfT<Q'_V(x_0(\tHeTA),0)\doT
  X_0(\tHetA),Z_0(\thEta)\right>$$ Or EqUivalEntlY, $$\LEFT<Q(x_0(\tHetA),0),\dot Z_0(\thetA)\right>+\left<Q'_v(x_0(\TheTa),0)\doT
  X_0(\thEta),z_0(\tHeta)\rIght>,$$ WhIch is The derIvatiVe Of $M(\theta)$ at any $\thEta\iN [0,T]$ accordiNg tO tHe fOrMula gIVen by LEmmA \[leM3\].

0.2truecm finally, WE caN pROVE tHe following.

\[th3\] AssumE tHAT tHere exisTs $\thetA_
1.$ As a consequence, by t he definit ion o f t hepr ojec tor$\Pi$, we get$ $\la bel{pi}
\left<\xi, z_0 (\the ta ) \rig h t> =\lef t<\Pi\, \ xi , z_0 (\ th eta )\ r ig ht>,$ $ f or any$\theta\in  [0 ,T ]$. Therefor e  $ $\left<P'( x_0 (\theta))h,z_0 (\thet a) \ri g ht>=\ lef t<\Pi \,P'(x _ 0(\the ta))(I-\P i) h ,
z_0( \ theta)\ r i gh t>=0 ,$$ for any $\the t a\ i n [0,T]$ and a ny $h\ in {{ \ m ath bb{ R}}}^n$. T he n, by derivin g  w i t h  re s pect to $\the ta$, we obt a in$$\lef t< P'( x _0(\th eta)) h, \ dot 
  z_0(\the ta)\ right>= \ left<- P ''(x_0( \ theta)) \dot
 x_ 0(\ thet a )h ,z _0( \t h eta ) \r igh t >,$ $ for an y$\ theta \in[ 0 , T ]$ a ndany$h\in  {{\mathbb{R} }}^ n$.T her efore , wecanre write  the l eft h an d side of (\[R\ ]) w ith $(I-\ Pi) \l eft (\ left. P '(x_0( \th eta ))\righ t|_{(I- \ Pi) \m a t h bb {R}^n}\right)^{-1} Q( x _ 0( \theta), 0)=h$a sfo l lows $$\ le ft< P'(x _ 0 (\the ta)) ( I- \Pi)\lef t(\lef t .P '( x_0(\th et a))\ri gh t|_ {(I -\Pi) \ math bb{R}^ n}\right )^{-1 } Q(x_0(\theta), 0 ),\dot
  z_0( \ th e t a) \ righ t>+ \left<Q'_v( x_0( \ thet a),0 ) \d ot x_0( \thet a) , z_ 0 (\theta)\right>$$ o requiva lentl y, $$\left<Q( x_0(\theta ) , 0 ),\dot z _0(\ t he t a)\right>+\lef t<Q'_ v(x_0(\the t a),0)\do t
  x _0(\thet a),z_0(\t h e ta)\righ t>, $$whi chi s  t he derivative o f $M (\ theta)$  at  any $\ the ta\ in[0, T] $ accordi ng to th efo rm ul a g ivenb y Lemma\[ lem 3\ ].
0.2t r uecm F inall y, w eca n  pr ove the fo l l owin g. 
\[th 3\]  A ssume  tha t  th ere exi sts $\the ta_ 
1.$ As_a consequence,_by the definition of_the projector_$\Pi$,_we get_$$\label{pi}
\left<\xi,_z_0(\theta)\right>=\left<\Pi\,\xi, z_0(\theta)\right>,$$ for_any $\theta\in [0,T]$._Therefore $$\left<P'(x_0(\theta))h,
z_0(\theta)\right>=\left<\Pi\,P'(x_0(\theta))(I-\Pi)h,
z_0(\theta)\right>=0,$$ for any_$\theta\in [0,T]$ and_any_$h\in {{\mathbb{R}}}^n$. Then, by deriving with respect to $\theta$, we obtain $$\left<P'(x_0(\theta))h,\dot
  z_0(\theta)\right>=_\left<-P''(x_0(\theta))\dot
_ x_0(\theta)h,z_0(\theta)\right>,$$_for_any_$\theta\in [0,T]$ and any $h\in_{{\mathbb{R}}}^n$. Therefore, we can rewrite_the left_hand side of (\[R\]) with $(I-\Pi)\left(\left.P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0)=h$ as follows_$$\left<P'(x_0(\theta))(I-\Pi)\left(\left.P'(x_0(\theta))\right|_{(I-\Pi)\mathbb{R}^n}\right)^{-1}Q(x_0(\theta),0),\dot
_ z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot
 _x_0(\theta),z_0(\theta)\right>$$ or equivalently, $$\left<Q(x_0(\theta),0),\dot z_0(\theta)\right>+\left<Q'_v(x_0(\theta),0)\dot
  x_0(\theta),z_0(\theta)\right>,$$ which is_the derivative of $M(\theta)$ at any_$\theta\in [0,T]$ according_to_the_formula given by Lemma \[lem3\].

0.2truecm_Finally, we can prove the following.

\[th3\]_Assume that there exists $\theta_