La división es la operación inversa de la multiplicación, si formula_1 por definición se cumple que: formula_2, y además formula_3.