Hall–Higman theorem (source code)

= Hall–Higman theorem
{wiki=Hall–Higman_theorem}