factorial(0^(-1))