Talk:Prime avoidance lemma