Given three numbers not prime to one another, to find their greatest common measure.
Proof
Find the gcd of two of them by VII.2; then find the gcd of that
result with the third. The final number measures all three and is
greatest by the same persistence argument.