On alternative theorems and necessary conditions for efficiency