fac x = if x==0 then
           1
           else x * fac (x - 1)