If a smooth manifold has two different volume forms, one can ask whether the first is equivalent to the second via a pullback by some diffeomorphism. A necessary condition is that the forms have the same total volume. Moser's theorem states that this is also a sufficient condition: any volume form can be pulled back to any other with the same total volume by some diffeomorphism. I will present the proof of this theorem.