712!+1が素数かどうか、という問題で、
答えは「素数でない」らしいのですがどうやったら示せますか?