Note: A Gaussian integer is a complex number $a+bi$ where $a,b \in \mathbb Z$.
A Gaussian integer is prime if $a,b \neq 0$, then $a^2 + b^2$ is an ordinary prime, or if either $a=0$ or $b=0$, then $b$ or $a$ is a ordinary prime congruent to $3 \pmod 4$.
How could one go about showing the claim is true?
My first thought is something with Diriclet's Theorem on Primes in Arithmetic Progressions: Let ( a ) and ( d ) be two coprime positive integers (gcd(a, d) = 1). Then the arithmetic sequence:
a, a + d, a + 2d, a + 3d, ...
contains infinitely many prime numbers. That is, there exist infinitely many primes ( p ) satisfying:
$p \equiv a \pmod{d}$.
But I'm unsure on how to event construct a proof like this if even possible. Would appreciate any feedback or direction!