Bender–Suzuki theorem