Proof: Verification of the inverse coefficients

Proof. Substitution yields the first coefficient $u_1+\chi =0$. The second coefficient is $u_2+2u_1\dot{\chi }+\zeta =0$, which gives (eq:time-inverse). Expansion of the exponential in (eq:clock) gives (eq:clock-coeff).