证明…半正定?