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