このスレでは重要な問題提起>>639がスルーされている。
pが不定で、任意のpで成立するということが他の部分でも
使うことができれば、bが偶数になり矛盾というバージョンは過去に
公開している。