>>162
(左辺)-(右辺)=0で証明するってのは使えるのか?