On the equivalence of derivatives for maps between Carnot groups

This paper gives an alternate, elementary proof of a result of Magnani: maps between Carnot groups that are continuously differential in horizontal directions in the Euclidean sense are continuously Pansu differentiable. Our proof involves primarily Euclidean arguments. We simultaneously reprove Magnani's mean value estimate for continuously Pansu differentiable maps.