证明：若 f 是次数 <= n 的多项式，则 P_n = f 精确相等（不仅仅是逼近）。