Sea todos los números impares de la forma N+Q+P y todos los impares de la forma 2n+1

Sabemos que

N+P+Q=2n+1=impar

Sí y sólo si el uno es primo por definición, no por convenio.

Queda demostrada la conjetura débil

N+P=2n

Queda demostrada la conjetura fuerte