This theorem expresses the error of a degree n interpolating polynomial at a new point using the next [divided difference](/page/Divided%20Difference) and the nodal product. It is the standard bridge between Newton interpolation coefficients and quantitative interpolation error.