Let le and K be given.

Use reflexivity.

∎