単位行列を掛けても変わらないことを示せ。(定義から直接。)