The theorem shows that the Lagrange, Vandermonde, and Newton constructions produce the same interpolation polynomial for distinct nodes. It connects the basis formula, the linear-system viewpoint, and the recursive divided-difference form of interpolation.