If x1,…,xt are all roots of nonzero polynomial p then
p(x)=(x−x1)(x−x2)…(x−xt)⋅q(x),
where q(x) is a polynomial with no roots in the field.
Which implies that poly with degree d has atmost the same number of roots.
Lemma II.
If polynomials with a degree less than
d agree in d points then they are equal.
Proof
r:=p−q,deg<d,x1,…xd are roots of r⟹r=0⟹p=q
Lagrange theorem
For every x1,…,xd and
y1,…,yd∃!p deg<d:∀i∈[d]:p(xi)=yi.
Lagrange interpolation is a way to find such polynomial.