theorem Th35: :: NUMBER08:35

for n being Nat
for f, g being real-valued Function st rng g c= rng f & f <= n holds
g <= n