Si formula_12 es un número primo, entonces formula_13 o bien formula_14