Let $G$ be a D1082: Finite group.

Let $H$ be a D496: Subgroup of $G$ such that

Let $H$ be a D496: Subgroup of $G$ such that

(i) | $G / H$ is the D1396: Set of left cosets in $G$ modulo $H$ |

Then
\begin{equation}
|G / H| = \frac{|G|}{|H|}
\end{equation}