Lagrange's Theorem (Group Theory)

Lagrange's Theorem: Let $$H$$ be a subgroup of a finite group $$G$$. Then $$|H|$$, the order of $$H$$, divides $$|G|$$.