theorem Th50: :: CARD_3:50

for f being Function holds {} in sproduct f