  This paper gives an alternate, elementary proof of a result of Magnani: maps
between Carnot groups that preserve horizontal curves and are continuously
differential in horizontal directions in the Euclidean sense are continuously
Pansu differentiable. This proof contains primarily Euclidean arguments and
also reproves a version of Magnani's mean value estimate for continuously Pansu
differentiable maps.
