Coequalizers of some natural equivalence relations

The first result is that if Y ---> X is surjective proper, then
the coequalizer of the two maps Y x_X Y ---> Y exists, is finite over X
and is in fact universally homeomorphic to X.

The second result says something more if Y consists of a blowing up in a
closed disjoint union the closed.