def (fact n)
  (n * (fact n-1))

def (fact 0)
  1