The self-amalgamation of high distance Heegaard splittings is always efficient

Let M be a compact orientable irreducible 3-manifold, F be an essential non-separating closed surface in M. We denote by η(F) the open regular neighborhood of F. If M−η(F) has a high distance Heegaard splitting, then M has a unique minimal Heegaard splitting up to isotopy.