theorem Th26: :: CARD_3:26

for f being Function holds
( product f = {} iff {} in rng f )