Real function/Theorem of Rolle/Fact/Proof