>>695
o定まらない?
王貞治(o定まる)な筈

読み返しても普通に証明過程間違ってない
確かにoが自由な値取るのはおかしいけど
右辺のm^3+mn^2-m^2n+o全体の値が
ｿﾉ三次方程式のn^3の係数を1になるように全体の項係数を割って与えられる内の定数項の部分Aになるのと

mn^2+m^2n=an^2+bnの(bnはb^2nと置いた方がいいかは解らない)形を取る
mをaとbの変数の恒等式であらわす値を取るものとして
求まるmとで

A=m^3+mn^2-m^2n+o
となる2変数n,oの二次方程式の互いの値を定めるまでの式は合ってるのだが

多分もう一つ条件が居る
oがAに依存する数である性質を見落としてる

んー
まぁ,放置