Supplementary materials for the Pontryagin Differentiable Programming paper A Proof of Lemma 5.1