素数判定:ファイル名の変更