This is the other way of the proof for theorem 9.4 listed earlier in the chapter.

Expression (9.8) is at page 310 for the complementary slackness conditions, expression (9.7) is page 309, thorem 9.3.