theorem Th78: :: RING_3:79
for n being positive Nat
for R being b1 -characteristic Ring holds Char R = min (CharSet R)