>>315
ああ、見た
P49の命題１ね
不変式論ってやつかな？　自分でタイプするのは面倒なので、検索すると

http://homepage2.nifty.com/cakravala/historyofequation.pdf
方程式論の歴史（平成１４年）

これの定理3-3だな