>>181
右辺の因数の形が

1-()^2-()^2・・・()^2

もう一つの因数がk+2だから

決して正の素数にはなりえない

証明終了