pの取り方は実際に複数通りあり得るので、その意味では実際に不定である。
>>1の問題点はそこではなく、pごとに係数も動いてしまうので、扱っている式が
a*p=b ではなく a_p * p = b_p というものになってしまい、これでは
係数比較が出来ないので失敗する、という事実を>>1が理解してないところが
本当の問題点である(>>182に具体的な反例がある)。そこで>>1は
「一般的には係数比較は失敗するが、この議論に限っては成功する」
という言い方をして問題点を回避したつもりになっているが、
「この議論に限っては成功する」ことの理由を全く説明してないので意味が無い。
そして、そこの理由がない状態では、一般的に係数比較をしているのと
論理構造が全く同じであり、>>182の反例でも係数比較できることになってしまうので、
失敗から脱却できてない。