Well I found this as an exercise in Falconer's "The Geometry of Fractal Sets." Actually the problem required point-wise equality for the densities, but I have counterexamples in that case. I figured it was just a typo, so I added the almost everywhere condition.

Right, I forgot that the jacobian $J_f$ should be nonzero.