theorem Th41: :: CARD_2:42

for X being set holds
( card X = 1 iff ex x being object st X = {x} )