行列の標準形：基本変形のみで、どんな行列も標準形に。

「どんな行列も基本変形のみで標準形に変形可能」の証明。大枠のみリニューアル。