Input
gcd(n1, n2)
Alternative representation
gcd(n1, n2) = (n1 n2)/(lcm(n1, n2)) for (n1 element Z and n1>0 and n2 element Z and n2>0)