역행 행렬의 정의, 존재 조건 및 해법