إن ال'''سُدّةاللِّيمّا'''{{حقيقة}}، '''البرهان الاستدلالي'''، ''اللم'' أو ''البرهان اللمي''<ref>[http://www.arabicacademy.org.eg/FrontEnd/SearchResult.aspx?Key=lemma مجمع عربي: مصطلح اللم - الصفحة الثانية]</ref> ({{إحراف ملمح|λήμμα|ليمّا}} ب[[يونانية|اليونانية]]<ref>{{كبيبرات|[http://users.sch.gr/elscardan/Usefully/mt.pdf - Μαθηματικό Τυπολόγιο]}}</ref>) في [[منطق رياضياتي|منطق]] [[رياضيات|الرياضيات]]: مبرهنة تمهيدية<ref>[http://www.mathramz.com/xyz/viewtopic.php?f=1&t=5744 مصطلحات - منتدى الرياضيات رمز]</ref> لازمة<ref>[http://www.mathramz.com/math/Normal_Jone_Lemma لازمة جون - شبكة الرياضيات رمز]</ref>—أو معضلة<ref>[http://www.alargam.com/maths/mathmatics/m/18.htm نظرية الاحتمالات - موقع الأرقام]</ref> صغيرة إن صح التعبير—تؤخذ مَيْدَالتعبير—تتخذ التسديدللتسديد إلى [[برهان رياضياتي|برهان]] [[مبرهنة]] أهم۔
<!--اللائحة أسفله عن ويكي الفرنسية-->
<ol style="list-style-type: circle ">في حالات مستكثرة، تستطرق لإعطاء البرهان على مبرهنة هذه الطريقة:
<li>نرود البرهنة على المبرهنة '''''ב''''' من مجموعة من [[بديهيات|البديهيات]] والنتائج التي أعطيت، لكن هذا مبهم من الوهلة الأولى۔</li>
<li>بيد أنّا، إن عرفنا '''''ס''''' حقّا (إذ أن '''''ס''''' ''سدةليما'' موكدة)، نسطيع الاستنتاج من فورنا باعتبار قوانين [[منطق]]ية معترف بها۔</li>
<li>نضع إذن '''''ס''''' كنتيجة كي نبرهن عليها، ونطبق عليها طريقة من الطرائق التي تعطي [[برهان رياضياتي|برهانا رياضياتيا]] للمبرهنة۔</li>
