x\neq y+(2k+1)\pi,~k\in \mathbb{Z}