>>174
以前に指摘されている通り「pは不定」という主張が誤りであるため、この証明は成立しません