fac n | n == 0 = 1
      | otherwise = n * (fac (n-1))