Talk:Riesz's lemma