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 − χ(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.