theorem Th66: :: CARD_3:66

for f, g being Function
for A being set st g in sproduct f holds
g | A in sproduct (f | A)