が成り立ち、この式でとすると、