実のところ、素数の一般式は1964年に見つかってる
https://wikimedia.org/api/rest_v1/media/math/render/svg/350aec20a0065e791db5edf02d3731001cc43aac