Dehn's lemma
= Dehn's lemma
{c}
{wiki}
A simple closed curve on the boundary of a <three-manifold> which is nullhomotopic in the manifold bounds a properly embedded disk. The boundary curve is retained; the <Loop theorem> can instead find a different simple essential curve in a nontrivial kernel.