La definición es análoga para formula_3, existe un número natural formula_5 tal que formula_9