Real function/Continuous/Composition/Fact/Proof

Proof

The first statement follows from fact. This implies also the second statement.