Links for highest-common-factor