0829陽気な名無しさん2022/12/14(水) 10:59:22.630 https://mathoverflow.net/questions/197918/what-is-known-about-primes-of-the-form-x2-2y2
