前半は、余因子展開を使って解けたが、後半の

「Aの逆行列があれば、これも三角行列になる。」
が証明できない・・・

助けてください