ثم قال من كان الوجود يلزمه فإنه يستحيل عدمه والكائن ولم يكن يستحيل قدمه ولو لم يستحل عليه العدم لصحبة المقابل في القدم فإن كان المقابل لم يكن فالعجز في المقابل مستكن وإن كان كان يستحيل على هذا الآخر كان ومحال أن يزول بذاته لصحة الشرط وإحكام الربط