theorem FA4a: :: FIELD_16:47

for F being finite Field
for f being Automorphism of F
for a being Element of F holds
( f . a in PrimeField F iff a in PrimeField F )