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