theorem Th107: :: RING_3:108

for p being Prime
for F being b₁ -characteristic Field holds Z/ p, PrimeField F are_isomorphic