for f being Function holds product f c= sproduct f