2023は素数である
○か×か?