左辺から右辺を引いて恒等的にゼロかどうかチェックするって話ね