Proof 2016.04.29

With objective value fixed primal-dual transform twice, we get the form:
[[b, P],[obj1,c],[-obj1,-c]]<=0, <obj2,c> -> obj3.</obj2,c>