Lagrange's Theorem • Lutalli

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.\]