theorem Th49: :: CARD_2:50

for x1, x2 being object holds card {x1,x2} <= 2