  The goal of this note is to provide yet another proof of the following
theorem of Golod: there exists an infinite finitely generated group $G$ such
that every element of $G$ has finite order. Our proof is based on the
Nielsen-Schreier index formula and is simple enough to be included in a
standard group theory course.
