Before revision:  We show that a necessary and sufficient condition for the validity of key assertions of the theory is that the value functions of the primal and dual problems are finite .
After revision:  We show that a necessary and sufficient condition for the validity of key assertions of the theory is that the value functions of the primal and dual problems are finite