的右边为正值，而左侧为零。
Roth消去法则.假设二个大小分别为"n"和"m"的方阵"A"和"B"，以及大小为"n"乘"m"的矩阵"C"，则可以确认以下二个大小为"n+m"的方阵formula_48和formula_49是否彼此相似。这二个矩阵相似的条件是存在一矩阵"X"使得"AX"-"XB"="C"，换句话说，"X"为西尔维斯特方程的解，这称为Roth消去法则（Roth's removal rule）。可以用以下方式检查，若"AX"-"XB"="C"，则 Roth消去法则无