If F is a field, how do we prove that a non-zero polynomial with coefficients in F and of degree n has at most n distinct roots in F?