En matemáticas, concretamente en aritmética, se dice que un número entero "b" es divisible por otro entero "a" (no nulo) si existe un entero "c" tal que: