Let a, b, c and d be given.

Assume Hac: a = c.

Assume Hbd: b = d.

rewrite the current goal using Hac (from left to right).

rewrite the current goal using Hbd (from left to right).

Use reflexivity.

∎