エルミール行列の対角成分がすべて実数となるのはなぜ?