Lagrange's theorem
The converse of Lagrange's theorem states that if is a divisor of the order of a group , then there exists a subgroup where .