Talk:Shapiro's lemma