そもそもPr(x)⊃Pr(g(Pr(x)))の証明が作れるとは

1. 「任意の数mについて Pr(m)⊃Pr(g(Pr(m))) の証明が作れる」

それとも

2. 「Pr(x)∧y=Sub(g(Pr(x)),g(x),x)⊃Pr(y) の証明が作れる」

というどっちをいってるんでしょう？どっちでも同じだろうか？定理のためには1で十分な気がする。