lemma

പ്രമേയിക.

തെളിയിക്കപ്പെട്ടു കഴിഞ്ഞതും മറ്റൊരു പ്രമേയം തെളിയിക്കുവാനുപയോഗിക്കുന്നതുമായ പ്രമേയം.

More at English Wikipedia