Les vecteurs de sont des fonctions polynômes de degré inférieur ou égal à , c'est à dire tels que :

On veut montrer qu'un tel est la somme de deux fonctions polynômes satisfaisant à des contraintes données.