Let be an open interval and be a function having derivatives of all order in . For there exists a point between a and such that . Further, the Taylor series of f at converges to if .