Por tanto, el teorema, probado su recíproco, proporciona una condición necesaria y suficiente para que el número entero formula_1 sea primo.