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.