m>0 m=qn+d  n positive integer,  0<=d<n
여기서 존재와 유일성은 증명 되니까
-m=-qn-d 를 만족하는
q 와  -n<-d<=0은 존재하고
우변에 +n-n을 해주면
-m=-(q+1)n+n-d
0<n-d<=n
인데 n-d의 범위가 왜이렇게 나올까..