The Gronwall
Inequality.
A version of the Gronwall inequality that estimates the difference
between solutions to two differential equations in terms of the
difference between their initial conditions and how how much the two
equations differ.
The inverse function theorem. A proof, in the from of exercises
with detailed hints, of the classical inverse function and the inverse
function theorem for Lipschitz maps between Banach spaces.