Add weight lemma

And some other well-known facts