Linear Optimization: Theorems of the Alternative