theorem FFF: :: FIELD_16:42

for F being finite Field holds card (PrimeField F) = Char F