deletions | additions       diff --git a/begin_claim_P_NP_end__.tex b/begin_claim_P_NP_end__.tex  index c39e2eb..84d81b3 100644  --- a/begin_claim_P_NP_end__.tex  +++ b/begin_claim_P_NP_end__.tex 
...
\begin{claim}  P=NP. Two point sets in the plane are linearly separable IFF their convex hulls do not intersect.  \end{claim}  \begin{proof}  Assume the claim does not hold. $\if$  \end{proof}