が成り立つことが分かる。