for R being Ring holds
( R is almost_trivial iff ( R is degenerated or R, Z/ 2 are_isomorphic ) )