For this case we have the following expressions:
and
Let:
(Integer m)
(Integer n)
By definition, an integer m is divisible by an integer n if the remainder of the division is 0. That is, there is an integer p such that:
Rewriting the expression we have:
So:
We cancel similar terms:
We check:
Answer:
If they are divisible