Strong duality theorem