掃き出し法

定理 7.4（「行列と連立一次方程式」§7）・ ✓公理まで証明済み

任意の $A \in M_{m,n}(K)$ は、有限回の基本行変形により簡約階段形に変形できる。さらに、 $A$ と行同値な簡約階段形はただ 1 つに定まる。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

証明で明示的に参照している定理は、まだありません。