Real function/Continuous/Composition/Fact/Proof