xy\neq 1