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