Go backward to Verification Go up to Top Go forward to Verification (Continued) |
By function definition, we have four cases:
By (3), we have n != 0 and, by definition of gcd and Euclid,
gcd(m, n) = n = Euclid(m, n)which implies (4).
We have, by definition of gcd and Euclid,
gcd(m, n) = m = Euclid(m, n)which implies (4).