En
matemáticas, básicamente en Aritmética, se dice que un
número entero b es
divisible entre un entero
a (distinto de cero) si existe un entero
c tal que:
b = a · c. 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.