[math-fun] Primes in a square