There is an orientation convention in this statement: the two volume forms must be positive for one fixed orientation, as is usual in Moser theorem for volume forms. Without that convention, the stated necessity is false. For example, on an oriented two-sphere, take a positive volume form and an orientation-reversing diffeomorphism , and set . Then but . We prove the intended result with a common orientation.
If , positivity forces to preserve the orientation, and integration of the pullback of a differential form gives equality of the integrals.
For sufficiency, top-degree de Rham cohomology gives a differential form of degree with . Put . Positivity makes every a volume form. The interior product of a differential form gives an linear isomorphism
Thus there is a unique smooth time-dependent vector field satisfying . Since is compact, its local flow exists throughout and defines a smooth isotopy starting at the identity. By Cartan's magic formula, and since a top-degree differential form has zero exterior derivative,
Hence
The zero-dimensional case, a single point, is immediate from equality of the integrals.