Допустим a и b делятся на с, тогда представим а=с*m, b=c*n,тогда:
a+b=c*m+c*n=c(m+n)-делится на с
a-b=c*m-c*n=c(m-n)-делится на с, таким образом мы пока доказали, что а и b вместе не могут быть кратными 3, но если одно слагаемое кратно с, а другое нет, то сумма также не будет кратна с, то есть ни а, ни b не кратны с.
В противном случае либо сумма не кратна с, либо и разность будет кратна с.