Esto es equivalente a decir, que "b" es «"exactamente divisible"» por "a", o bien, que el resto de la división euclídea es cero.