for a, b being Integer holds ALGO_GCD (a,b) = a gcd b