Talk:Lions–Magenes lemma