Original: The proof of a mathematical theorem is a logical argument demonstrating that the conclusions are a necessary consequence of the hypotheses , in the sense that if the hypotheses are true then the conclusions must also be true , without any further assumptions .
Simplified: A theorem that someone must prove so that he\/she can prove another theorem is called a lemma .