The theorem gives the explicit Lagrange formula for the unique polynomial of degree at most n matching prescribed values at distinct nodes. It is the basic constructive form of [polynomial interpolation](/page/Polynomial%20Interpolation) and explains why the Lagrange basis functions solve the interpolation problem.