theorem Th56: :: CARD_2:57

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