leq-lem-2