TheoryConsider gcd(a, b), let's say a > b, then we have:gcd(a, b) == gcd(a - b, b)ProofConside...