From Formula 2, Section 4.2.4, the objective-function coefficients (reducedcosts) of the variable equal the difference between the left- and right-hand sidesof the corresponding dual constraint-that is,
+ - However, we know that this quantity must equal zero for each basic variable, which then produces the following result: