Negative irreducible curvature implies locally quasiconvex
Negative irreducible curvature implies locally quasiconvex. If ρ+(X)<0\rho_+(X)<0ρ+(X)<0 then π1(X)\pi_1(X)π1(X) is a locally quasiconvex hyperbolic group.