山口人生様のPart2は歴史的重要性を持つ、内容が正しい発表。
part2の時点で、少なくとも、Cookの証明よりは正しい。