>>203
>>175の結果を用いないで証明をしようとしているわけです。
他の証明があるかと思って調べました。

>>155で指摘されているようなことは一般的には成り立ちませんが
特殊なケースとして成り立つわけです。その場合(実際には
存在しないことが後から分かりますが)には、sとtの変数が出てくる
式の比較のもう一方のaが等しいという式係数比較を行うことにより、
>>172-173の証明が成り立つということです。