Lagrange's theorem
Lagrange's theorem states that for any subgroup "H" of "G", the order of the subgroup divides the order of the group: |"H"| is a divisor of |G|. In particular, the order |"a"| of any element is a divisor of |"G"|.