先の素数で後の素数を表す公式あったよね