Theorems of the alternative for multifunctions with applications in optimization:general results