Semidefinite Programming Complementary Slackness Theorem