theorem Th38: :: CARD_2:39

for m, n being Nat holds card (n * m) = (card n) *` (card m)