Proper Noun
That no nontrivial Dehn surgery along k in the 3-sphere yields a simply connected manifold.