deletions | additions       diff --git a/begin_claim_P_NP_end__.tex b/begin_claim_P_NP_end__.tex  index 92e02a7..cfeba5f 100644  --- a/begin_claim_P_NP_end__.tex  +++ b/begin_claim_P_NP_end__.tex 
...
\begin{claim}  P=NP.  \end{claim}  \begin{proof}[P$\neq$NP]  Assume the claim does not hold.  \end{proof}