ax+by=c mod n
d:=(a,b,n) | c

이게 dn개의 incongruent solutions를 갖는다

어케증명해야함?

d|c이면 해를 갖는다는건 쉽게 되는데
그게 정확히 dn개라는게 잘 안 됨

(a,n)=1인 경우엔 for suitable c', b' in Z
x=c'-b'y mod n
을 풀면 되니까 1×n개인건 쉬운데
일반적인 경우는 어케해야하냐