A simple construction of infinite finitely generated torsion groups

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.