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