The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
2
As the non-degeneracy condition holds and the smoothing parameter tends to zero, an S-stationary point of the MPCC problem is equivalent to a KKT point of the smoothing nonlinear programming.