pa2b2 décompose un entier p premier, congru à 1 modulo 4, en la somme de deux carrés : p= a2+b2. Le résultat est donné sous la forme d’une liste. On tape :
On obtient :
en effet 17=42+12