dowód x: Czy to poprawny dowód na to, że ilość elementów w warstwie gH jest równa ilości elementów z podgrupy H (z grupy G)? Ze względu na równoliczność warstw

	|G|
|gH| =
	|G:H|

z twierdzenia Lagrange’a |G| = |G:H| * |H|, więc

	|G|
|H| =
	|G:H|

zatem |gH| = |H|