theorem Th56: :: FUNCT_4:56

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