高次方程式の解は「±定数項の約数/再高次の係数の約数」になるんだけど、なんでこうなるのか誰か証明してくれ。