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.
Sándor Kovács
- 42.9k
- 2
- 109
- 155