for R being Ring holds
( Char R = 1 iff R is degenerated )