GCD(m,n)=(m+n)-mn+2*Σ[k=1,m-1] floor(k*n/m) を証明せよ。
ただし、m,n は整数　GCDは最大公約数、floor(x) はxを超えない最大の整数を表すものとする。