Talk:Brezis–Lieb lemma