lemma - An intermediate theorem. A generally minor, proven proposition which is used as a stepping stone to a larger result. For that reason, it is also known as a helping theorem or an auxiliary theorem.
A ticket has been created for Don Sevcik to build this functionality.