Let J, le and net be given.

Use reflexivity.

∎