det(A) \neq 0