Baumslag-Solitar-free one-relator groups are hyperbolic

We prove Gersten's conjecture: every finitely generated one-relator group containing no subgroup isomorphic to a Baumslag–Solitar group $\mathrm{BS}(m,n)$, for nonzero integers m, n, is word-hyperbolic.