Si formula_3 es divisor de formula_4, entonces se sigue que formula_5, donde formula_6 es divisible por formula_7.