恒等式の係数決定において、数値代入法で解く際に最大次数より多くの数を代入して求めると、逆の確認をせずとも必要十分条件となるらしいのですが何故ですか？？