theorem Th38: :: CARD_FIN:39

for Fy being finite-yielding Function st dom Fy is finite holds
union (rng Fy) is finite