a=b\neq 0