deletions | additions       diff --git a/begin_claim_Two_point_sets__.tex b/begin_claim_Two_point_sets__.tex  index ef59a64..05b9223 100644  --- a/begin_claim_Two_point_sets__.tex  +++ b/begin_claim_Two_point_sets__.tex 
...
\end{claim}  \begin{proof}  ($\Rightarrow$) Linear separability implies we can draw a line in the plane such that all $p\in \Q$ \P$  are on one side, and all $q\in \Q$ the other.  ($\Leftarrow$) A convex hull of a point-set contains all of the elements of the point set by definition.