I sometimes encounter a problem where I need to find coefficients of a polynomial given planar points, which lie on it. I usually plug the points in the polynomial and solve the equations.
I noticed that it is possible to construct the polynomial directly as a sum of polynomials, which have the property that if one plugs in a x-value then the first term gives the correct y-value, while all the other terms are zeros. For the next x-value the second term gives the correct y-value, while all the other terms give noughts again. And so on. The coefficients can be obtained by simply calculating all the multiplications and additions arduously.
Am I using a not so easy to prove -theorem implicitly?