theorem :: RING_4:32

for R being Ring st Char R = 0 holds
R is infinite