for F, G being Cardinal-Function st F c= G holds
Sum F c= Sum G