El número entero formula_4 es divisible por el número entero formula_5 (o lo que es lo mismo, "b" divide a "a") si hay un número formula_6 entero, tal que formula_7.