We know in a support vector machine:

Considering we have a linear feature mapping $\phi(x_n)=x_n$ and the XOR problem. We have 2 classes in $R^2$, class 1 $ t_+=+1$ and class 2 $t_-=-1$ and 4 points where $x_1, x_2$ are from class1 and $x_3, x_4$ are from class2.
Therefore we can write, $w=a_1x_1+a_2x_2-a_3x_3-a_4x_4$ and $a_1+a_2-a_3-a_4=0$
How can we prove the 4 points are not separable?
Coordinates for $x_1=1,1; x_2=-1,-1; x_3=1,-1, x_4=-1,-1$?