Let gcd(a,b)=g,Proof gcd(ma,mb)=mg

여기서 max+mby=d, d는 좌변을 만족하는 가장작은 정수
d=mg 라는걸 증명하면
gcd(ma,mb)=mg가 자연스럽게 따라 오는거임?

어떤 수 z가 ax+by를 만족하는 가장 작은 정수라는 걸 증명하면
z는 a b의최대공약수라는 걸 증명하는 셈이 되는건가?