प्रमेयिका
गणित में प्रमेयिका (lemma) ऐसे कथन को कहते हैं जो सिद्ध किया जा चुका हो। प्रमेयिकाएँ अन्य 'बड़े परिणामों' की सिद्धि के लिये सीढ़ी का काम करतीं हैं। गणित के अनेकानेक परिणाम "प्रमेयिका" कहे जाते हैं। किन्तु प्रमेय और प्रमेयिका में कोई औपचारिक (formal) या प्रामाणिक अन्तर नहीं है बल्कि केवल परम्परा और प्रयोग के आधार पर ही कोई कथन प्रमेय या प्रमेयिका के नाम से प्रचलित हो जाता है।