(In fact, in the case of D4, observe that all such cosets are equal, such that .
Lahko, na primer, pokažemo, da ima grupa natanko en nevtralni element in, da za vsak element obstaja natanko en obratni element.