When we examine the contents of a theorem proof, we need to know what parts are definitions, what part is the actual theorem, and what part is the proof. In a natural language paper, these parts are sometimes labeled and grouped together, but not always.