Lehmer's GCD algorithm
 
x
OK