The dual dual linear programme is the original linear programme

Statement

Lemma

For a linear programme given by and if we take the dual linear programme and then the dual linear programme of that we get back to the original linear programme.

Proof

Just following the definition the dual linear programme is defined by , and . Then the dual linear programme of that is given by , and which by laws of linear algebra give us , and back.