式変形で威圧するのは数学があまり得意じゃない人のやり方だと思ってる