Dimostrazione

Come abbiamo già visto gli interi gaussiani che sono associati ad x = a + ib sono :

x, -x = a + ib, ix = b – ia, -ix = -b + ia.

Tra questi x è l’unico con parte reale e parte immaginaria entrambe positive, quindi c + id = x. (c.v.d.)