Sea formula_115 primo, para todo formula_689 se cumple que