1) A prova mostra que nenhum quadrado ou soma de dois quadrados pode ser escrito na forma 4n + 3 e que nenhum elemento das sequências listadas é um quadrado ou soma de dois quadrados.
2) Define ternos e triângulos pitagóricos primitivos e mostra que a média aritmética da hipotenusa com o cateto ímpar de um triângulo primitivo é um quadrado.
3) Enuncia o Pequeno Teorema de Fermat e seu caso particular para números primos e mostra que a12 - b12 é