theorem Th100: :: RING_3:101

for F being 0 -characteristic Field holds F_Rat , PrimeField F are_isomorphic