Let X, Y, a and F be given.
Use reflexivity.
∎