Restatement of theorem, or just a statement that theorem X above now follows.

You should avoid a cascade of statements whose proofs depend on the following statements. Instead put the thing you prove first at the top, and perhaps precede with a comment such as 'we will use the following small result later', and then reference it when you do you use it.

Restatement of theorem, or just a statement that theorem X above now follows.

You should avoid a cascade of statements whose proofs depend on the following statements. Instead put the thing you prove first at the top, and perhaps precede with a comment such as 'we will use the following small result later', and then reference it when you do you use it.

Does the sublemma even merit a title? Why can't it just be part of the proof of the containing lemma? If this lemma requires another result to be proven before it, then why is it a lemma itself? Why not put the sublemma first as another lemma? You have been given many alternatives.

It certainly could, just as subroutines could be included in the computer program where they are called. A "lemma" is just a part of the main proof that is simpler to understand if it is done separately. The same could be true of a "sub-lemma".

If I am reading the original post correctly, a "proof of a claim inside a lemma", if it is written as a separate proof, would, indeed, be a "sub-lemma".

If I am reading the original post correctly, a "proof of a claim inside a lemma", if it is written as a separate proof, would, indeed, be a "sub-lemma".

If the "sub-lemma" is a really small result, one will often just put "Claim: xxx" Then "Proof of Claim:" in the middle of the proof of the lemma. If it's a result that will be used later in the paper, it deserves its own "Lemma" status. I have never read a paper that refers to "sub-lemmas". But then again I'm sure they are out there.

It certainly could, just as subroutines could be included in the computer program where they are called. A "lemma" is just a part of the main proof that is simpler to understand if it is done separately. The same could be true of a "sub-lemma".

If I am reading the original post correctly, a "proof of a claim inside a lemma", if it is written as a separate proof, would, indeed, be a "sub-lemma".

No one is disputing that, Halls, merely the OP's motivation for doing it and his desire both for the numbering (see parallel thread) and the wish to nest 3 proofs inside each other, rather than have them run sequentially: this subresult appears to be so pivotal as to merit its own number (and indeed counter). At which point you might wish to ask if it needs to stand alone as a separate statement.