Talk:Barban–Davenport–Halberstam theorem