, then is Negative Semidefinite