Somme lemmas about term-∨L