Если уменьшаемое и вычитаемое кратны числу a, то и разность кратна числу a?

Обязательно! Уменьшаемое кратно а, значит его можно представить в виде x*aвычитаемое кратно а, значит его можно представить в виде y*aих разность равна x*a — y*a=(x-y)*aт.е. разность тоже кратна а