のように簡略化される。