SVM中 lagrange strong duality theorem 的证明

下面是证明中用到的一个引理。