Real function/Derivative zero/Constant/Fact/Proof