theorem :: CARD_2:69

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