Talk:Arithmetic progression topologies