Έστω διαφορετικά σημεία στο (με ) και . Δείξτε ότι υπάρχει πολυώνυμο , , βαθμού τέτοιο ώστε
για .
Βαθμός ενός πολυωνύμου πολλών μεταβλητών είναι ο μεγαλύτερος βαθμός των μονωνύμων που συμμετέχουν σε αυτό και βαθμός ενός μονωνύμου είναι το άθροισμα των εκθετών .