The disproof of the Hirsch conjecture relies on the following theorem, referred to as the strong d-step theorem for spindles.
The disproof of the Hirsch conjecture depends on a theorem known as the strong d-step theorem for spindles.