1/3*3という式が現れたら、
コンピュータが正規化処理を実行して
先に3を約分してから結果的に1になるように処理をすればいいじゃないか