3

I am trying to create a claim environment in ntheorem to use within the proof environment. I tried around with the following code

\documentclass{article}


\usepackage{ntheorem}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}

\theoremheaderfont{\normalfont\itshape}
\newtheorem{claim}{Claim}
\theoremsymbol{\ensuremath{\blacksquare}} % \theoremsymbol{\ensuremath{_\square}}
\newtheorem{claimproof}{Proof of Claim}[claim]

\theoremstyle{nonumberplain}
\newtheorem{proof}{Proof}


\begin{document}
\begin{theorem}
asdjas aasdj adj 
\end{theorem}
\begin{proof}
\begin{claim}
some claim
\end{claim}
\begin{claimproof}
asdasd asdasd
\end{claimproof}

\begin{claim} some other claim \end{claim}
\begin{claimproof}proof of claim\end{claimproof}
\end{proof}

\begin{lemma}
some lemma
\end{lemma}
\begin{proof}
asdlasd
\begin{claim} claim for lemma\end{claim}
\begin{claimproof}
askl adlksd
\end{claimproof}
\begin{claim} asdljkd
\end{claim}
\begin{claimproof}
asd aspdok
\end{claimproof}
\end{proof}

\end{document}

which works somehow. But it gives this result:

Theorem 1
...
Proof
...
Claim 1
Proof of Claim 1.1
..

Claim 2
Proof of Claim 2.1

but I would like to get something like

Theorem 1
...
Proof
...
Claim 1
Proof of Claim 1
..

Claim 2
Proof of Claim 2

Even better would be to have a numbering as a subnumbering of the theorem or lemma that the proof refers to, but I guess that would make everything more complicated

Theorem 1
...
Proof
...
Claim 1.1
Proof of Claim 1.1
..

Claim 1.2
Proof of Claim 2.1

Lemma 3
Proof
Claim 3.1
Proof of Claim 3.1
...
  • Welcome to TeX.SX! Please help us to help you and add a minimal working example (MWE) that illustrates your problem. It will be much easier for us to reproduce your situation and find out what the issue is when we see compilable code, starting with \documentclass{...} and ending with \end{document}. – user31729 Jun 5 '15 at 13:20
  • @ChristianHupfer added MWE :) – Loreno Heer Jun 5 '15 at 13:40
4

It is important to understand the optional arguments to \newtheorem.

\newtheorem{claim}{Claim}

produces "Claims" numbered 1,2,3,... throughout the document. With a final optional argument

\newtheorem{claimproof}{Proof of claim}[claim]

produces numbers X.1,X.2,X.3,... where X is the number of the previous claim.

For correct numbering of your Claims you want something like

\newtheorem{claim}{Claim}[theorem]

so claims get subnumbers according to the previous theorem.

For your proof of claims, I think your request is misguided, but I'll show how do what you request in the second example below. In general one would like the freedom to take the proofs of claims in a different order to which they are presented; also a proof of a claim immediately after its statement does not really require labelling with the number; if the proof is further away or in a different order then it would be more appropriate to use LaTeX's \label/\ref mechanism to provide the correct numbering.

Here is an example:

Sample output

\documentclass{article}

\usepackage[thmmarks]{ntheorem}
\usepackage{amssymb}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}

\newtheorem{claim}{Claim}[theorem]

\theoremstyle{nonumberplain}
\theoremsymbol{\ensuremath{\Box}}
\newtheorem{proof}{Proof}

\makeatletter
\newtheoremstyle{nonumberplainnobrackets}%
  {\item[\theorem@headerfont\hskip\labelsep ##1\theorem@separator]}%
  {\item[\theorem@headerfont\hskip \labelsep ##1\ ##3\theorem@separator]}
\makeatother

\theoremstyle{nonumberplainnobrackets}
\theoremsymbol{\ensuremath{\blacksquare}} 
\newtheorem{claimproof}{Proof of claim}
\begin{document}

\begin{lemma}
  A theorem.
\end{lemma}

\begin{proof}
  Proof starts.
  \begin{claim}
    A claim.
  \end{claim}
  \begin{claimproof}
    Proof of claim.
  \end{claimproof}
  Proof ends.
\end{proof}

\begin{theorem}
  A theorem.
\end{theorem}

\begin{proof}
  Proof starts.
  \begin{claim}
    A claim.
  \end{claim}
  \begin{claimproof}
    Proof of claim.
  \end{claimproof}
  Proof continues.
  \begin{claim}
    \label{claim:one}
    One claim.
  \end{claim}
  \begin{claim}
    \label{claim:another}
    Another claim.
  \end{claim}
  \begin{claimproof}[\ref{claim:another}]
    Proving another claim.
  \end{claimproof}
  Text.
  \begin{claimproof}[\ref{claim:one}]
    Proving claim one.
  \end{claimproof}
  Finally the end.
\end{proof}

\end{document}

Note I introduced a new theorem style to cope with the required typography of the number claims of proofs.

If you are really certain claimproofs will not come in a different order to the claims then you can set them up with

\theoremstyle{nonumberplain}
\theoremsymbol{\ensuremath{\blacksquare}} 
\newtheorem{claimproof}{Proof of claim \theclaim}

A full example is

Second sample

\documentclass{article}

\usepackage[thmmarks]{ntheorem}
\usepackage{amssymb}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}

\newtheorem{claim}{Claim}[theorem]

\theoremstyle{nonumberplain}
\theoremsymbol{\ensuremath{\Box}}
\newtheorem{proof}{Proof}

\theoremsymbol{\ensuremath{\blacksquare}} 
\newtheorem{claimproof}{Proof of claim \theclaim}

\begin{document}

\begin{lemma}
  A theorem.
\end{lemma}

\begin{proof}
  Proof starts.
  \begin{claim}
    A claim.
  \end{claim}
  \begin{claimproof}
    Proof of claim.
  \end{claimproof}
  Proof ends.
\end{proof}

\begin{theorem}
  A theorem.
\end{theorem}

\begin{proof}
  Proof starts.
  \begin{claim}
    A claim.
  \end{claim}
  \begin{claimproof}
    Proof of claim.
  \end{claimproof}
  Proof continues.
  \begin{claim}
    \label{claim:one}
    One claim.
  \end{claim}
  Text.
  \begin{claimproof}
    Proving claim one.
  \end{claimproof}
  Finally the end.
\end{proof}

\end{document}
  • Hello Andrew. If I wanted to italicize the wording in “Proof of claim 2.1”, how would I do it? Thanks! – Berrick Caleb Fillmore Jan 29 '17 at 7:31
  • @BerrickCalebFillmore Add \theoremheaderfont{\normalfont\itshape} after the \theoremstyle{nonumberplain} line. – Andrew Swann Jan 29 '17 at 10:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.