この式は次のように変形できる。