>>888
どの順番に X の成分が定まっていった？
それを単純に n×m に一般化するだけだよ．

証明は，i,j 成分を比較してXのij成分がが従う方程式を作り，
適当な順番で評価していけばいい．

もっと形式的にやりたかったら，
x' = [順次決まっていくであろう順番で X の成分を並べたベクトル]
を作り，方程式を強引に A' x' = c' の形に書いてやって，
A' が上三角行列で，対角成分がゼロでない（正則）であることをいう．