Proof of Lyapunov exponent pairing for systems at constant kinetic energy.