>>955
日本語ですよ。
簡単にいうと、>>943で、素数pが１通りに決まる場合に矛盾しないことを示し、
>>946で、素数pが実際に1通りしかありえないことを示したわけです。
したがって、>>909は証明になっていません。