>>126
その「任意のpに対して成り立つとすると、」という仮定は場合分けIIIについて前提としているものではないですよ。