zw\neq 0