Пусть $ A$ имеет различные собственные значения $ \lambda_1, \lambda_2, ..., \lambda_n$ и пусть $ e_1, e_2, ..., e_n$ - соответствующие им нормированные собственные многочлены. Пусть, далее, $ B$- какое-либо другое самосопряженное линейное преобразование.