X:
Xは素数か?
Xは