theorem Th33: :: FUNCT_6:38

for f being Function-yielding Function holds rng (Frege f) = product (rngs f) by Lm1, Lm2;