Entonces, cuando formula_13, se cumple que d es un divisor de n.