素数pのうち、p^p+2が素数であるとき、pを超素数ということにする。
（１）最も小さな超素数を求めよ。
（２）超素数は無限に存在することを証明せよ。ただし、素数が無限に存在することは証明なしに使ってよい。