اللمة هي نظرية صغيرة. يتم إثبات صحتها، لكن هدفها الرئيسي هو المساعدة في إثبات شيء أكبر. تُشكل اللمات أساس الحجج الرياضية، فهي تُقسّم البرهان الكبير إلى أجزاء يسهل التعامل معها.

تنصّ مبرهنة إقليدس على أنه إذا قسم عدد أولي حاصل ضرب عددين صحيحين، فإنه يقسم أحدهما على الأقل. وتُعدّ هذه المبرهنة أساسية لإثبات النظرية الأساسية في الحساب. أما مبرهنة زورن، وهي مثال أكثر تقدماً، فتُستخدم لإثبات وجود المُثُل العليا والقواعد في الفضاءات اللانهائية الأبعاد.

أحيانًا، تكتسب اللمة شهرةً بحد ذاتها. فللمة غاوس، ولمة فاتو، ولمة أوريسون، جميعها تحمل أسماءً وتظهر في الكتب الدراسية. والتمييز بين اللمة، والقضية، والنظرية، والنتيجة، هو تمييز أسلوبي جزئيًا. فاللمة أداة مساعدة، أما النظرية فهي النتيجة الرئيسية.

• عبارة مثبتة تُستخدم لإثبات نظرية
• يقسم البراهين الكبيرة إلى خطوات
• أمثلة: ليمّة إقليدس، ليمّة زورن
• أحياناً يصبح الشخص مشهوراً بشكل مستقل