https://123dok.net/document/q5mxn1ry-on-torsion-in-finitely-presented-groups.html