Nonconvex Separation Theorems