theorem PrimAUT: :: FIELD_16:48

for F being prime Field
for f being Automorphism of F holds f = id F