>660
(3)の解を証拠として(4)の解のことを書く
(4)の解を証拠として（(3)の式を式変形しただけの)(3')のことを書く

みたいな循環論法をやらかすのです。

どの、部分が循環論法になっているのでしょうか？