theorem :: CARD_2:102

for X, Y being finite set st X c= Y & card X = card Y holds
X = Y