>>362
分出公理と内包公理をごっちゃにしてないか