theorem :: CARD_2:82

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