基本行列の性質

基本行列elementary matrixの性質。大枠のみリニューアル。