HM.LMIR.6.14: Verify that the real primes which can be expressed as the sum of two squares are no longer prime in the field of Gaussian integers.