Lagrange’s theorem gives element orders , , or . An element of order generates . Otherwise choose distinct non-trivial elements and ; their generated subgroups intersect trivially, have commuting elements, and their product is the whole group. The direct product theorem gives .