a\neq 0