行列

左逆行列ならば右逆行列であることを示すのは結構大変のようだ。