Lagrange's Theorem

Proposition 1. Lagrange’s Theorem. Let $G$ be a group and $H$ be a subgroup. Then

\[\lvert G \rvert = \lvert G / H \rvert \cdot \lvert H \rvert.\]