theorem Th2: :: PUA2MSS1:2

for f, g being non-empty Function st product f = product g holds
f = g