theorem :: RING_3:111

for p being Prime
for F being b₁ -characteristic Field holds F includes Z/ p by Th71;