Gromov’s polynomial growth theorem 1