A simple proof of the discrete time geometric Pontryagin maximum principle on smooth manifolds. (April 2020)