noun - A lemma is a proven proposition or theorem used to help prove a larger theorem in mathematics, which can be also a basic theory or principle in logic.