ข้อใดคือความหมายของ 'บทแทรก' (Lemma) ในทางคณิตศาสตร์

เฉลยอธิบาย

บทแทรก (Lemma) คือทฤษฎีบทย่อยที่ได้รับการพิสูจน์แล้ว และถูกใช้เป็นเครื่องมือช่วยในการพิสูจน์ทฤษฎีบทที่ใหญ่กว่าหรือสำคัญกว่า ตัวเลือก A คือความหมายของสัจพจน์ (Axiom) ตัวเลือก C คือบทบาทของนิยาม (Definition) ตัวเลือก D ใกล้เคียงกับข้อสันนิษฐาน (Conjecture) ที่ยังไม่ถูกพิสูจน์