theorems of the alternative