If we can show that all cosets of H have the same number of elements, then each coset of H has precisely |H| elements.
Ako pokažemo da sve H-grupe imaju jednak broj elemenata onda svaka H-grupa ima točno |H| elemenata.