Tが射影子⇔TがHermiteかつ「固有値はすべて0か1」
右じゃないー>左じゃない