for F, G being Cardinal-Function st F c= G & not 0 in rng G holds
Product F c= Product G