من الطبيعي ان ناخذ قيمة ς الصغيرة وذلك لا ن هذا الجوار الاصغر محتوى في الجوار صاحب ς الكبيرة
فما هو محقق على الجوار صاحب ς الكبيرة هو محقق على الجوار الاصغر ايضا اي ان جميع قيم مستقرات هذا الجوار الاصغر ستكون محتواة في جوار نهاية التابع الاكبر
اما اذا اخذنا ς الكبيرة عندها توجد العديد من النقاط لاتقع مستقراتها في جوار نهاية التابع الاصغر
وهذا لن يخدم البرهان
اتمنى ان اكون قد أوضحت الصورة