for G, F being finite commutative Group
for a being Element of G
for f being Homomorphism of G,F st f | the carrier of (gr {a}) is one-to-one holds
ord (f . a) = ord a