La fórmula estándar para generar todos los triples pitagóricos primitivos es
a=m^2-k^2, b=2km, c=k^2+m^2; c^2=a^2+b^2
donde k,m son números enteros con k en (0,m), gcd(k,m)=1, y o bien 2 dividiendo a k o bien 2 dividiendo a m, pero no ambos. Por lo tanto, demuestre que su número x, que es la suma de los primeros n primos y el propio primo, puede escribirse en la forma de c, y que existen números (constrúyalos) de la forma a y b sujetos a esas restricciones. Sería más fácil hacer primero un par de ejemplos para tener una noción del flujo de la prueba. Finalmente, utiliza la inducción sobre n.