证明:一个线性规划对偶的对偶是原始线性规划。