mx+ny=gcd(m,n)이 되게하는 정수 x, y가 존재한다


아 이걸 무슨 정리라고 부르더라. 까믁었네