theorem Th78: :: RING_3:79

for n being positive Nat
for R being b₁ -characteristic Ring holds Char R = min (CharSet R)