かといって、一々成分計算するのは嫌だ。
>AB=Eより、det(A)≠0。
この裏側に成分計算が隠れている突っ込みは受け付けない。