証明だって結局は同値変形だろ
んなら今のところ見分ける方法もする方法もないよ
なにが同値なのかわかんねーんだもん

で「同じことである」てな変形しかないよ
そしてそれが一番面倒なんだろ
気付けよ