https://mathoverflow.net/questions/197918/what-is-known-about-primes-of-the-form-x2-2y2