Strong Duality

From Theorem 13.1 - Strong duality for LP

1. If primal or dual has a finite solution, so does the other, and $c^T{x}^{\ast }=b^T{\lambda }^{\ast }$.
2. If primal or dual is unbounded, the other is infeasible.