theorem :: CARD_3:35

for K being Cardinal holds Sum ({} --> K) = 0