a\neq0