theorem :: CARD_2:80

for M, N being finite Cardinal holds M +` N is finite ;