正値な演算子A、Bに対してtr(AB)が0以上になるのは何でですか??