Let f, x and y be given.

Assume H1.

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

Use reflexivity.

∎