等式で定義した以上、移項できるのは当たり前だろうjk