وإثباتٌ لإحدى مقدمتي التلازم بالقياس. فإنّك تقول في المثال الأول: لو لم يكن الصوم شرطًا للاعتكاف، لم يصر شرطًا له بالنذر، فهو شرطٌ له مطلقًا، فهذا تمسك بنظم التلازم، واستثناء لنقيض اللازم لإثبات نقيض