Original: The code relies on a theorem from algebra that states that any distinct points uniquely determine a polynomial of degree, at most,.
Simplified: 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.