Boa tarde! Há um certo tempo, quando me foi indicado um estudo, pelo Cláudio, https://kconrad.math.uconn.edu/blurbs/ugradnumthy/Zinotes.pdf; fiquei surpreso com a simplicidade da demonstração do tema em epígrafe e até sugeri que jamais me esqueceria da demonstração e morri pela boca pois, me enrolei ao tentar mostrá-la para um jovem. Tive de visitar o artigo novamente, embora a demonstração esteja correta, creio que há um engano em uma referência, que não observara da primeira feita.
p | (x+i)(x−i) If p is a Gaussian prime, then by (9.2) p | (x+i) or p | (x-i). pág.33 Creio que deveria ser by(6.5). Lemma 6.5.Let π be prime in Z[i]. For Gaussian integers α1,...,αr, if π | α1α2···αr then π divides some αj. Theorem 9.2. A prime p in Z+ is composite in Z[i] if and only if it is a sum of two squares. A referência, do artigo, está correta ou não? Saudações, PJMS -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.