Is the implicit function theorem needed to relate the EMP to UMP?
Fix prices at some arbitrary positive values $p_x^0,p_y^0$ and view the functions $v$ and $e$ as $v:\mathbb{R}\rightarrow \mathbb{R}$ and $e:\mathbb{R}\rightarrow \mathbb{R}$. Then they are inverses.