正則行列 * 任意の行列 = 正則行列

は成り立ちますか?