>>745　2008!-1は素数となるかどうか、証明せよ。