فما أفاده بعض أهل ا لتحقیق قدس سره : من أنّ ا لسا لبـة وإن لم تتوقّف علیٰ وجود ا لموضوع ، إلاّ أنّ ا لظاهر من مجموع ا لأخبار ، أ نّها بصدد إثبات أمر واحد ، ومن ا لبدیهی أنّ ا لموجبـة تحتاج إ لیٰ وجوده ، فیعلم أنّ ا لسا لبـة بسلب ا لمحمول .
منظور فیـه ؛ لأ نّـه ـ مضافاً إ لیٰ أنّ ا لسا لبـة فی ا لمقام ، لا یعقل أن تکون بسلب ا لموضوع ؛ فإنّ ا لموضوع هو «ا لبیّعان» لا بدنهما ، وا لسلب بسلبـه یوجب إثبات ا لخیار للمعدوم ـ لو کان ا لموضوع بدن ا لبیّعین ، لکان ا لسلب أیضاً بسلب ا لمحمول ، ولا یثبت ما رامـه ؛ لما عرفت من أنّ بدن ا لعاقد ا لواحد ، بدن ا لبائع وا لمشتری ، لأ نّـه لازم صدق ا لعنوانین علیـه عقلاً وعرفاً .
ولایلزم فی صدق ا لسا لبـة مع وجود ا لموضوع ، تحقّق ا لبدنین ؛ لمفروضیّـة
کون ا لتقابل بین ا لافتراق وسلبـه ، تقابل ا لإیجاب وا لسلب ، لا ا لعدم وا لملکـة ، وا للازم صدق سلب تفرّق بدنهما ، وهو کذلک ، وإلاّ لصدق نقیضـه ، وهو ممتنع ، فامتناع تفرّق بدنهما ، مستلزم لوجوب نقیضـه ، وهو سلبـه .
مضافاً إ لیٰ أنّ ا لحکم لمّا کان علی ا لعناوین ا لکلّیـة ، کان بدن ا لبیّعین ـ کنفس عنوانهما ـ عنوانین صادقین علی ا لمصداق ا لواحد .
فا لموجود ا لخارجی مجمع ا لعنوانین ، وا لبدنان مجتمعان فی ا لبدن ا لواحد ا لخارجی ، وهو من جهـة بدن ا لبائع ، ومن جهـة اُخریٰ بدن ا لمشتری ، وعدم افتراقهما کعدم افتراق بدنین ملصقین ، وا لاجتماع فی نظائره اجتماع اتحاد ، لا وحدة ، وإلاّ لایعقل سلب أحدهما مع بقاء الآخر ضرورة .
فمع اجتماع ا لعا لم وا لعادل فی شخص ، یکون بدنـه بدنهما ، ومع سلب ا لعدا لـة ، یبقیٰ بدن ا لعا لم ، ویخرج ا لخارج عن کونـه بدن ا لعادل ، وهذا حکم ا لعناوین ا لمنطبقـة علی ا لمصادیق .
نعم ، قد یتّفق کون صدق ا لعناوین علیٰ موضوع بجهـة واحدة ، کصرف ا لوجود علیٰ بعض ا لاصطلاحات .
فتحصّل ممّا مرّ : أنّ ا لقائل بعدم ا لخیار لـه ، إمّا قائل بظهور «ا لبیّعین» فی تعدّد ا لشخصین وا لبدنین ، أو قائل : بأنّ ا لتفرّق وسلبـه متقابلان تقابل ا لعدم وا لملکـة ، أو قائل : بأنّ ا لموضوع للسا لبـة بدن ا لبیّعین ، ولا بدن لهما مع ا لوحدة ، أو قائل : بأنّ ا لموضوع فی سلب ا لافتراق بدنان ، وقد عرفت ما فیها .
بل لو دلّ دلیل علی أنّ ا لخیار ، ثابت مع سلب افتراق بدن ا لبائع عن بدن ا لمشتری ، یکون ا لسلب صادقاً ؛ لما عرفت من أنّ ا لبدن ا لواحد ، بدن ا لبائع وبدن ا لمشتری ، وهما مجتمعان فیـه ، ولهذا لو أمر ا لمولیٰ بإطعام کلّ بائع ، وإکساء کلّ مشترٍ ، لوجب فی ا لمقام إطعامـه وإکساؤه .
ودعویٰ : ظهور جملـة ا لکلام فی ا لتعدّد وا لانفصال خارجاً ، بلا بیّنـة ؛ لعدم دلالـة لجملـة ا لکلام ، إلاّ أن یدّعی ا لانصراف ، وعهدتها علیٰ مدّعیها .