The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.

• 在微分几何定理证明中；一个定理成立的辅助条件(非退化条件)不是惟一的；但越简单越好.