2023!は素数か?
但し2023!とは1×2×3×・・・×2022×2023を表す