theorem Th50: :: CARD_2:51

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