Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

For independent bond percolation on $\mathbb{Z}^d$ with parameter $p$, let $p_c^b(d)$ be the critical probability. We prove that for each $d \geq 9$, there is $ε_d>0$ such that for each $p \in (p_c^b(d), p_c^b(d)+ε_d)$, the complement of the infinite open cluster stochastically dominates a supercrit