theorem Th65: :: CARD_3:65

for f, g being Function
for A being set st g in sproduct f holds
g | A in sproduct f by Th64, RELAT_1:59;