Se dice que formula_50 divide a formula_51 si existe un formula_58 de manera que formula_59.