Invia SMS: Separation Theorems for Oriented Matroids