Sløjfesætningen er en generalisering af Dehns lemma . Bevist af Christos Papakyriakopoulos i 1956 sammen med Dehns lemma og sfæresætningen .
Angiv med enhedsskiven på flyet.
Lad en 3-manifold med ikke-tom grænse og
er en kortlægning af et par, det vil sige , at der er en kontinuerlig kortlægning, således at billedet af . Antag, at begrænsningen ikke kontraherer til . Så er der en investering
med samme ejendom.