Dubins–Spanier_theorems loading ...