ef ⍨
2023.4.9 15:53
2

グロタンディーク素数が存在してるので五七五七七も素数です