何度も言うが、１は偽である条件（p^(n-1)+p^(n-3)+…+1が(p+1)/2以外の素因数を持たない）を仮定してそこから矛盾を引き出しているだけに過ぎない
そんなものは成果でも部分的解決でも何でもない

偽である証明が欲しければ関連の論文を読むことだ
ここには書かない