Theorem of Alternatives from Separation