theorem :: GAUSSINT:45

for q being G_INTEG st Norm q is Prime & Norm q <> 2 holds
( Re q <> 0 & Im q <> 0 & Re q <> Im q & - (Re q) <> Im q )