>>675
S(m)=a+(m-1)d=n
S(n)=a+(n-1)d=m
S(m)-S(n)=(m-n)d=n-m
d=-1
S(m+n)=a+(m+n-1)d=a+(m-1)d+nd=n-n=0