Lehmer's GCD Algorithm