a=b ⇒ ∃c(a=c ∧ c=b)

Proof

The contraposition of the proposition:

∀c(a≠c ∨c≠b)  ⇒ a≠b, which is true.

Therefore the original proposition is also true.