theorem Th39: :: CARD_3:39

for f being Function holds card (Union f) c= Sum (Card f)