משפט ברירת זמן העצירה