 Lagrange's theorem

For a finite group $G$ and subgroup $H$, the order of $H$ divides the order of $G$, and the quotient is the number of left cosets: