En este caso se desea tener un algoritmo que decida en un tiempo proporcional a formula_4, si formula_1 es un número primo o compuesto.