On theorems of the alternative