Si formula_2 es un número primo entonces formula_3 es divisible por formula_2.