Primes of the form m^2 + 2*k^2 are the norms of prime elements of Z[i*sqrt(2)]. Pairs of primes of the form (m^2 + 2*k^2, m^2 + 2*(k+1)^2) correspond to primes in Z[i*sqrt(2)] differing by i*sqrt(2).
A prime cannot simultaneously be the lesser of such a pair and the greater of another.