従って、ある自然数 "b" について "a" ＝ "b" +1となっているが、"a" は "a" に属する最小の自然数であったということから、"b" ∉ "a" であり、"p"("b")は成り立つことになる。