同値記号使わないとしたらどんなふうに書くのがいいの？
式変形ってどこまで細かく書けばいい？