= { x, x-1 }αποτελείται
από δύο ακριβώς
στοχεία, 16.14. Oρίζουμε σχέση ισοδυναμίας ~ στο G - {e} με x ~ y αν x = y ή x = y-1.
Αν η G δεν έχει στοιχείο x τάξης 2, οπότε x = x-1, τότε κάθε κλάση
ισοδυναμίας
= { x, x-1 }αποτελείται
από δύο ακριβώς
στοχεία,
και αν το G - {e} έχει k κλάσεις ισοδυναμίας, τότε η G έχει τάξη τον
περιττό 2k +1!
Επεται ότι η G έχει ένα τουλάχιστον στοιχείο τάξης 2.