 Complementary slackness

At a primal-dual optimum, each positive variable corresponds to a tight dual constraint and conversely for positive dual variables.