Lemma 6.17
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 6 Äquivalenzklassen/Partition/Eigenschaften/Fakt