Theorem of alternatives