「次の条件を満たすような素数pのうち最小のものを求めよ。
条件:23以下の自然数mに対しmによって決まるp-1より小さい
自然数nがあってm^n=1 (mod p)が成り立つ」