Lehmer's GCD Algorithm - Ontify