Dubins–Spanier theorems