Gromov's theorem