 \int_X \bigg\langle \tau, \frac{\sigma^m_{s,
    t(s)}}{{\lVert\sigma^m_{s,t(s)}\rVert}} \bigg \rangle {{\hspace{1mm}}}d(vol)
- 
\int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} \rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \epsilon.$$ First, we know from Lemma \[lemma:estimate on X\_0\] that there exists $s_1$ such that for all $s>s_1$ we have $$\bigg\lvert\int_{X_0} \bigg\langle (\phi_1)_* \tau,
\frac{\tilde{\chi}_s^*(\sigma^{\tilde{m}})}
  {{\lVert\tilde{\chi}_s^*(\sigma^{\tilde{m}})\rVert}} \bigg\rangle {{\hspace{1mm}}}d(vol) 
- \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} \rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert
< \frac{\epsilon}{4}.$$ Moreover, since $\phi_1 = \phi_t \circ \phi_{1-t}$ and all maps preserve the relevant structures, we have $$\label{eq:one of the pieces of triangle inequality}
\bigg\lvert \int_{X_t} \bigg\langle (\phi_{1-t})_* \tau,
\frac{\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})}
  {{\lVert\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})\rVert}}
  \bigg \rangle {{\hspace{1mm}}}d(vol) 
- \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} \rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \frac{\epsilon}{4}.$$ Next note that $\tau$ is a smooth section on the compact space $X$, so there exists a constant $C>
\int_X \bigg\langle \tau, \frac{\sigma^m_{s, 
     t(s)}}{{\lVert\sigma^m_{s, t(s)}\rVert } } \bigg \rangle { { \hspace{1mm}}}d(vol) 
 - 
 \int_{\mu_0^{-1}(m) } \langle (\phi_1) _ * \tau, \delta_{m,0 } \rangle 
 { { \hspace{1mm}}}d\theta_{m,0 } \bigg\rvert < \epsilon.$$ First, we know from Lemma   \[lemma: estimate on X\_0\ ] that there exists $ s_1 $ such that for all $ s > s_1 $ we get $ $ \bigg\lvert\int_{X_0 } \bigg\langle (\phi_1) _ * \tau, 
 \frac{\tilde{\chi}_s^*(\sigma^{\tilde{m } }) } 
   { { \lVert\tilde{\chi}_s^*(\sigma^{\tilde{m}})\rVert } } \bigg\rangle { { \hspace{1mm}}}d(vol) 
 - \int_{\mu_0^{-1}(m) } \langle (\phi_1) _ * \tau, \delta_{m,0 } \rangle 
 { { \hspace{1mm}}}d\theta_{m,0 } \bigg\rvert 
 < \frac{\epsilon}{4}.$$ furthermore, since $ \phi_1 = \phi_t \circ \phi_{1 - t}$ and all maps preserve the relevant structure, we own $ $ \label{eq: one of the pieces of triangle inequality } 
 \bigg\lvert \int_{X_t } \bigg\langle (\phi_{1 - t }) _ * \tau, 
 \frac{\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m } }) } 
   { { \lVert\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})\rVert } } 
   \bigg \rangle { { \hspace{1mm}}}d(vol) 
 - \int_{\mu_0^{-1}(m) } \langle (\phi_1) _ * \tau, \delta_{m,0 } \rangle 
 { { \hspace{1mm}}}d\theta_{m,0 } \bigg\rvert < \frac{\epsilon}{4}.$$ following note that $ \tau$ is a smooth part on the compact space $ X$, so there exist a constant $ C >
 \inh_X \bigg\langle \tau, \frac{\sinma^m_{s,
    t(s)}}{{\lVert\sigma^m_{s,v(s)}\rVert}} \bigg \ravgle {{\hspace{1mm}}}d(vol)
- 
\int_{\mu_0^{-1}(m)} \lanjle (\phi_1)_* \tqu, \delta_{m,0} \rangle
{{\hspace{1om}}}d\theta_{m,0} \bigg\rveet < \tpsilon.$$ First, we know from Lemmz \[pemmc:ewtimate on X\_0\] tmat there efists $s_1$ such tvag yor all $s>s_1$ we have $$\bigg\lvert\int_{X_0} \bigd\langle (\pji_1)_* \tau,
\frac{\tildg{\chi}_s^*(\xygma^{\fplbe{m}})}
  {{\lVert\tilde{\chi}_s^*(\sigma^{\tilde{m}})\rBert}} \bijg\rangle {{\hspace{1km}}}d(vol) 
- \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \hau, \felta_{m,0} \rangle
{{\hspacf{1mm}}}d\theta_{m,0} \vigg\wcert
< \frac{\epsklon}{4}.$$ Moreonzr, since $\phj_1 = \phi_t \circ \phi_{1-t}$ and all maps oresexve the relgrqnt vtructures, xe havv $$\label{eq:one of the pheces og triangle ineauanitt}
\bigg\lvert \int_{X_t} \bigg\nangle (\phi_{1-t})_* \tau,
\fras{\tilde{\phi}^*_d \cilde{\chi}^*_s(\sigma^{\tilde{m}})}
  {{\lCert\thlde{\[hi}^*_t \rilae{\cgi}^*_x(\sjgma^{\tipde{j}})\rVert}}
  \bifg \rangle {{\hwpace{1mm}}}d(vol) 
- \int_{\mu_0^{-1}(m)} \lwbgle (\phi_1)_* \tau, \selta_{m,0} \rwngle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \frac{\epsplon}{4}.$$ Next note that $\tau$ is q smooth section on tje compace space $X$, so there exists a constant $C>
\int_X \bigg\langle \tau, \frac{\sigma^m_{s, t(s)}}{{\lVert\sigma^m_{s,t(s)}\rVert}} \bigg \rangle \int_{\mu_0^{-1}(m)} (\phi_1)_* \tau, \rangle {{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert from \[lemma:estimate on X\_0\] there exists $s_1$ that for all $s>s_1$ we have \bigg\langle (\phi_1)_* \tau, \frac{\tilde{\chi}_s^*(\sigma^{\tilde{m}})} {{\lVert\tilde{\chi}_s^*(\sigma^{\tilde{m}})\rVert}} \bigg\rangle {{\hspace{1mm}}}d(vol) - \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} {{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \frac{\epsilon}{4}.$$ Moreover, since $\phi_1 = \phi_t \circ \phi_{1-t}$ and all preserve relevant we $$\label{eq:one of the pieces of triangle inequality} \bigg\lvert \int_{X_t} \bigg\langle (\phi_{1-t})_* \tau, \frac{\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})} {{\lVert\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})\rVert}} \rangle {{\hspace{1mm}}}d(vol) - \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} {{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \frac{\epsilon}{4}.$$ note that $\tau$ is a section the compact $X$, there a constant $C>
 \int_X \bigg\langle \tau, \frac{\sigmA^m_{s,
    t(s)}}{{\lVert\Sigma^M_{s,t(S)}\rVErT}} \bigG \ranGle {{\hspace{1mm}}}d(voL)
- 
\Int_{\mU_0^{-1}(m)} \langle (\phi_1)_* \tau, \delta_{m,0} \raNgle
{{\hSpACe{1mm}}}D\ThEta_{m,0} \bIgg\rverT < \EpSILon.$$ fiRsT, we KnOW fRom LeMma \[Lemma:esTimate on X\_0\] tHat ThEre exists $s_1$ suCH tHat for all $s>S_1$ we Have $$\bigg\lverT\inT_{X_0} \bigg\LaNglE (\Phi_1)_* \taU,
\frAc{\tilDe{\chi}_s^*(\SIgma^{\tiLde{m}})}
  {{\lVert\TiLDe{\chi}_s^*(\SIgma^{\tilDE{M}})\rvert}} \Bigg\rangle {{\hspace{1mM}}}D(vOL) 
- \int_{\mu_0^{-1}(m)} \langle (\pHi_1)_* \tau, \dElTA_{m,0} \RANglE
{{\hsPace{1mm}}}d\theTa_{M,0} \bigg\RVert
< \fraC{\EpSILOn}{4}.$$ MOReover, since $\phI_1 = \phi_t \circ \phI_{1-T}$ anD all maPs PreSErve thE releVaNT stRuctures, we hAve $$\lAbel{eq:one Of the pIEces of tRIangle iNequalIty}
\BigG\lveRT \iNt_{x_t} \bIgG\LanGLe (\Phi_{1-T})_* \Tau,
\Frac{\tildE{\pHi}^*_T \tildE{\chi}^*_S(\SIGMa^{\tiLde{M}})}
  {{\lVeRt\tilDe{\phi}^*_t \tilde{\chI}^*_s(\sIgma^{\TIldE{m}})\rVeRt}}
  \bigG \ranGlE {{\hspaCe{1mm}}}d(vOl) 
- \int_{\Mu_0^{-1}(M)} \langle (\phi_1)_* \tau, \deLta_{m,0} \Rangle
{{\hspAce{1Mm}}}D\thEtA_{m,0} \bigG\Rvert < \fRac{\EpsIlon}{4}.$$ NexT note thAT $\taU$ iS A SMoOth section on the comPaCT SpAce $X$, so thEre exiSTs A cONstant $C>
 \int_X \bigg\langle \tau,  \frac{\si gma^m _{s ,
  t(s )}}{ {\lVert\sigma^ m _{s, t(s)}\rVert}} \bigg \r angle  { { \hsp a ce {1mm} }}d(vol ) 
- \in t_ {\ mu_ 0^ { -1 }(m)}  \l angle ( \phi_1)_*\ta u,  \delta_{m,0 }  \ rangle
{{\ hsp ace{1mm}}}d\ the ta_{m, 0}  \b i gg\rv ert  < \e psilon . $$ Fir st, we kn ow from L e mma \[l e m ma :est imate on X\_0\] t h at there exists $ s_1$ s uc h  t h a t f orall $s>s_1 $we ha v e $$\bi g g\ l v e rt\ i nt_{X_0} \big g\langle (\ p hi_ 1)_* \ ta u,\ frac{\ tilde {\ c hi} _s^*(\sigma ^{\t ilde{m}}) }
  {{ \ lVert\t i lde{\ch i}_s^* (\s igm a^{\ t il de {m} }) \ rVe r t} } \ b igg \rangle{{ \h space {1mm } } } d (vol ) - \i nt_{\ mu_0^{-1}(m)}  \l angl e  (\ phi_1 )_* \ tau,  \ delta _{m,0}  \ran gl e
{{\hspace{1mm }}}d \theta_{m ,0}  \ big g\ rvert < \fra c{\ eps ilon}{4 }.$$ Mo r eov er , s in ce $\phi_1 = \phi_ t\ c ir c \phi_{ 1-t}$a nd  a l l maps p re ser ve t h e  rele vant st ructures , we h a ve  $ $\label {e q:oneof  th e p ieces of t riangl e inequa lity} \bigg\lvert \i n t_{X_t} \bigg \ la n g le (\ph i_{ 1-t})_* \ta u,
\ f rac{ \til d e{ \ph i }^*_t  \til de { \c h i}^*_s(\sigma^{\til de {m}})} 
  {{ \lVert\tilde{ \phi}^*_t\ t i lde{\chi }^*_ s (\ s igma^{\tilde{m }})\r Vert}}
  \ b igg \ran gle { {\hspace {1mm}}}d( v o l) 
- \i nt_ {\m u_0 ^{- 1 } (m )} \langle (\ p h i_1) _*  \tau,\de lta_{m, 0}\ra ngl e
{ {\ hspace{1m m}}}d\th et a_ {m ,0 } \ bigg\ r vert < \ fr ac{ \e psi lon}{ 4 }.$$ N ext n oteth at $\t au$ isa  s m o othse ct iononth e com pact spa ce $X$,  so there  ex i stsaco nstant$C>
 \int_X_\bigg\langle \tau,_\frac{\sigma^m_{s,
   _t(s)}}{{\lVert\sigma^m_{s,t(s)}\rVert}} \bigg_\rangle_{{\hspace{1mm}}}d(vol)
- 
\int_{\mu_0^{-1}(m)}_\langle_(\phi_1)_* \tau, \delta_{m,0}_\rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert <_\epsilon.$$ First, we know_from Lemma \[lemma:estimate on_X\_0\]_that there exists $s_1$ such that for all $s>s_1$ we have $$\bigg\lvert\int_{X_0} \bigg\langle (\phi_1)_*_\tau,
\frac{\tilde{\chi}_s^*(\sigma^{\tilde{m}})}
_ {{\lVert\tilde{\chi}_s^*(\sigma^{\tilde{m}})\rVert}}_\bigg\rangle_{{\hspace{1mm}}}d(vol)_
- \int_{\mu_0^{-1}(m)} \langle (\phi_1)_* \tau,_\delta_{m,0} \rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert
< \frac{\epsilon}{4}.$$ Moreover,_since $\phi_1_= \phi_t \circ \phi_{1-t}$ and all maps preserve_the_relevant structures, we_have $$\label{eq:one of the pieces of triangle inequality}
\bigg\lvert \int_{X_t}_\bigg\langle (\phi_{1-t})_* \tau,
\frac{\tilde{\phi}^*_t \tilde{\chi}^*_s(\sigma^{\tilde{m}})}
  {{\lVert\tilde{\phi}^*_t_\tilde{\chi}^*_s(\sigma^{\tilde{m}})\rVert}}
  \bigg_\rangle_{{\hspace{1mm}}}d(vol)_
- \int_{\mu_0^{-1}(m)} \langle (\phi_1)_*_\tau, \delta_{m,0} \rangle
{{\hspace{1mm}}}d\theta_{m,0} \bigg\rvert < \frac{\epsilon}{4}.$$_Next note that $\tau$ is a_smooth section on the compact space $X$,_so there exists a constant $C>