Distance of heegaard splittings of knot complements

Let K be a knot in a closed orientable irreducible 3-manifold M and let P be a Heegaard splitting of the knot complement of genus at least two. Suppose Q is a bridge surface for K and let N(K) denote a regular neighborhood of K. Then either d(P) <= 2-chi(Q - N(K)), or K can be isotoped to be disjoint from Q so that after the isotopy Q is a Heegaard surface for M-N(K) that is isotopic to a possibly stabilized copy of P.