Redirecting to Gromov's theorem on groups of polynomial growth