# Tag Info

After applying the theorem you can take an $Y$ orthogonal to the separation plane, pointing in the right direction, you will easily have the property $X.Y>0$ for all $X$.