斎藤のジョルダンの標準形の証明を、線型代数演習のものと差し替えるか
佐武に連立一次方程式の解法（掃き出し法）を加えるか