formula_23とformula_24は対角行列なので、formula_18にはformula_10の固有ベクトルが含まれるはずであり、一方formula_19はformula_15の固有ベクトルのはずである。