Would definition
  case gcf(x,y) = y                   when x == 0
  case gcf(x,y) = gcf(x, y `mod` x) 
work for finding the greatest common factor of two numbers? Explain. (Hint: Try computing gcf(30,14) with this definition. What happens?)