barnes lemma