(x^2+2i x+3)!-(x-1)!=0