We know
gcd(m, n) = (0) gcd(m-n, n) = (1) Euclid(m-n, n) = (definition Euclid) Euclid(m, n)
The proof is analogous to the previous case.