وأنت اشترطت التسوية، فقد وجد المحدود بدون الحد، فيكون الحد غير جامع.
(فائدة)
قال أبو الحسن البصري في كتابه الذي صنفه في القياس خاصة، وسماه كتاب (القياس): قياس العكس هو إثبات نقيض حكم الأصل في الفرع باعتبار على. وقياس الطرد: إثبات حكم الأصل في الفرع؛ لاجتماعهما في علة الحكم.