行列多項式
↑ 多項式では変数の冪が定義されなければいけないから、ここでいう「行列」は必然的に正方行列のはずである。
↑ X は右から掛けても二行目右辺は変わらないから、三行目左辺は S(I − X) でもよい
↑ この条件下で (I − N)S = I および S(I − N) = I であるから、定義により S, I − S はともに正則