Talk:Dubins–Spanier theorems