Si la conjetura "Cada número par es la diferencia de dos primos" se sostiene, entonces concluimos la siguiente hipótesis:
Hipótesis. Para cada entero distinto de cero$a, b$, al menos uno de los números$a, b$ y$a-b$ puede expresarse como la diferencia de dos números primos.
Pregunta. ¿Es cierto lo contrario (la hipótesis implica la conjetura)?