が成り立つ必要がある。