for M being Cardinal holds
( 1 in M iff 2 c= M )