theorem :: CARD_3:32

for F, G being Cardinal-Function st dom F = dom G & ( for x being object st x in dom F holds
F . x c= G . x ) holds
Product F c= Product G by Th27, CARD_1:11;