10001番目の素数