>>156
「A は正則」の定義をどう採用している？
それがもし「det(A)≠0」であれば、
証明は行列式の計算に尽きる。
普通は、「∃B,AB=E」を定義とするので、
証明も何も、自明でしかない。
いづれにせよ、行基本変形の出番は無い。

それともこれは、「A は正則」⇔「∃C,CA=E」
で定義して、AB=E から A ね正則を示そうとか
そういう話なんだろうか？