Take a resolution $g:Y\to X$ and consider the induced maps from $f, f^{-1},f$:
$$
X\times _X Y \to Y \to X\times _X Y \to Y,
$$
and conclude that these are isomorphisms as well.