Real function/Theorem of Rolle/Fact