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

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