. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

هنا - يوجب وجود اللازم - الذي هو الواجب -، وإلا لم يكن هذا المتنازع فيه شرطا، والفرض أنه شرط. هذا خلف.

وتلخيص الدليل: لو لم يكن شرط الفعل واجبا، لما كان شرطا، وقد فرضناه شرطا، هذا تناقض.