Polynomial function/Function behavior from differentiability/Fact/Proof/Exercise