المحويّ محدّدا لمكانه. فمتى عدم الخلأ يلزم وجود المحويّ و متى وجد المحويّ يلزم عدم الخلأ قطعا. أمّا إذا لم يكن الحاوي علّة فعدم الخلأ لا يستلزم وجود المحويّ، لجواز أن يكون الحاوي و المحويّ معدومين، فيكون الخلأ أيضا معدوما، لأنّ الخلأ لا يتعرّض بعدم‌ [1] المحويّ مطلقا، بل إنّما يتعرّض بعدم المحويّ من حيث أنّه محويّ و ملأ بأنّ وجود المحويّ لا يستلزم عدم الخلأ إلّا من حيث أنّه متحدّد بسطح الحاوي كما سبق بيانه.

فنبّه بقوله: «لأنّ ذلك الغير الّذي يفيد وجود المحوىّ ... إلى آخر» على المقدّمتين: أمّا على المقدّمة الأولى و هي إنّ التلازم على تقدير العلّية بمنطوق‌ [2] هذا الكلام؛ و أمّا على المقدّمة الثانية- و هي أن لا تلازم على تقدير عدم العلّية فبمفهوم الحصر في قوله: «هو الّذي جعل». و معنى الكلام أنّ الحاوي الّذي فرض علّة للمحويّ هو الّذي جعل المحويّ بحيث يكون معه عدم الخلأ، لما ذكر من أنّ‌ [3] معنى عدم الخلأ عدم المتصوّر من الخلأ؛ و متصوّر الخلأ لا يكون إلّا بحسب اعتبار الحاوي. فما لم يكن للحاوى تحقّق لم يكن لعدم الخلأ مع المحويّ اعتبار، ثم قال: «و لذلك حكم بامتناع إفادته للمحويّ»، أي: لمّا كان عدم الخلأ مع وجود المحويّ على تقدير علّية الحاوي امتنع أن يكون الحاوي علّة، لأنّ المحويّ حينئذ يكون ممكنا مع الحاوي، فيلزم إمكان الخلأ.

و عند هذا تمّ الجواب. لأنّ الجواب‌ [4] إنّما يتمّ بثلاث مقدّمات: المقدّمتان المنبّه عليهما؛ و المقدّمة الثالثة: إنّ المحويّ على ذلك التقدير ممتنع. و قد نبّه عليها بقوله: «و لذلك حكم بامتناع إفادته‌ [5]»، لأنّه متى امتنع أن يكون الحاوي علّة للمحويّ امتنع وجود المحويّ مع كونه معلولا للحاوي، ثمّ صرح بهذا في قوله: «الحاصل».

و إنّما وجّهناه كذلك لأنّه لو أجرى على ظاهره لكان قوله: «و لذلك حكم» مع قوله: «و الحاصل» لا حاصل له! لأنّه يكفى في الجواب‌ [6] أن يقال: الغير الّذي يفيد وجود المحويّ هو الّذي يفيد معيّة عدم الخلأ. و المحويّ إنّما يكون واجبا بغيره‌ [7] إذا لم يكن معلولا للحاوى.

[1] . س: لعدم.

[2] . ج: فبمنطوق، ق: فمنطوق.

[3] . م: أنّ.

[4] . ق:+ هاهنا.

[5] . ج:+ للمحوىّ.

[6] . س: في الجواب.

[7] . م: بغيره.