Bistability of sequestration networks

We solve a conjecture on multiple nondegenerate steady states, and prove bistability for sequestration networks. More speciffcally, we prove that for any odd number of species, and for any production factor, the fully open extension of a sequestration network admits three nondegenerate positive steady states, two of which are locally asymptotically stable. In addition, we provide a non-empty open set in the parameter space where a sequestration network admits bistability, and we present a procedure for computing a witness for bistability.