Esto es equivalente a decir que el resto de la división euclídea es cero o simbólicamente formula_2.