Karush-Kuhn-Tucker Necessary Conditions under LICQ for Discretized Optimal Control