for R being domRing holds
( Char R = 0 iff for a being non zero Element of R
for n being non zero Nat holds n '*' a <> 0. R )