Duggan–Schwartz_theorem loading ...