theorem Th10: :: CARD_FIN:11

for X being finite set
for x1, x2 being object st x1 <> x2 holds
card (Choose (X,0,x1,x2)) = 1