theorem :: CARD_1:71

for f being Function
for x, y being object holds card (f +~ (x,y)) = card f