theorem Th67: :: FUNCT_3:67

for f, g being Function holds rng [:f,g:] = [:(rng f),(rng g):]