theorem Th31: :: CARD_1:32

for X being set
for x, y being object st x in X & y in X holds
X \ {x},X \ {y} are_equipotent