Partition groups into left and right cosets and use them to prove Lagrange’s theorem. Apply the theorem to element orders, subgroup sizes, and first constraints on possible finite groups.
