gcd : [8] -> [8] -> [8]
gcd a b = if(b == 0) then a
          else gcd b (a%b)