疑問はいいけどよく嫁。プラス1の条件書。
素数pのp積プラス1は素とあるだろ。