An auxiliary proposition, in mathematics, is a statement that is assumed to be true in order to prove another statement. It is also known as a lemma, which is a five-letter word derived from the Greek for 'something received'. Auxiliary propositions are used to prove theorems, and are often simpler than the theorem itself. They are also used to prove more complex theorems by breaking them down into smaller, more manageable parts.