A statement that is shown to be true as part of a larger proof