لــيكن X متنوعــاً (منطويــاً) ثلاثــي الأبعــاد و لــيكن X ⊆ C منحنيــاً اســتثنائياً، نبرهن هنا ان C1 ⊆ X1 ثً, أيضا استثنائي حيث C1 مقطع سالب يقابل المتتالية التامة.