The code relies on a theorem from algebra that states that any distinct points uniquely determine a polynomial of degree , at most , .

The code relies on a theorem from algebra that states that any k distinct points uniquely determine a polynomial of degree at most k-1 .
