theorem LM204F: :: GROUP_18:14

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