h(x,y,z) = x - y -  z;

fact(n)  = if n == 0 then 1 else fact(n - 1) * n;

