従って、はが実であるような複素対角行列になる。実対称行列,を用いてと置けばとなるから、を得る。