KKT conditions: proof of the main theorem

Here we prove the main theorem for the KKT conditions. This uses some results from earlier topic videos, e.g., convex cones and Farkas' lemma, so it may be useful to review those if necessary. Topic video for APP MTH 3014/4114/7072 Optimisation at The University of Adelaide.