Theorem. The order (cardinality) of Subgroups of a finite Group are Divisors of the order of the containing group.

Can be proven by looking at the Quotient group