A simple construction of finitely generated infinite 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.