x!=(y+1)(y!)^2