deletions | additions       diff --git a/begin_claim_Two_point_sets__.tex b/begin_claim_Two_point_sets__.tex  index 58e6e50..2a83754 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\P$ $p\in P$  are on one side, and all $q\in \Q$ ($\Leftarrow$) A convex hull of a point-set contains all of the elements of the point set by definition.