y un número primo formula_2 tal que