Polynomial/K/Interpolation/Fact/Proof