fac x | x==0 = 1
      | x>0 = x * fac (x-1)