theorem Th51: :: CARD_3:51

for f being Function holds product f c= sproduct f