LEMMA: sotto spazio vettoriale
LEMMA: Cardinalità di un gruppo simmetrico
LEMMA: Legge di cancellazione
LEMMA: Identità dell'Endomorfismo di Frobenius
LEMMA: Lemma di Euclide
LEMMA: Congruenza destra è relazione di equivalenza