知らなかった
自分はそういう時素数を数えています。