Věta o smyčce je zobecněním Dehnova lemmatu . Dokázáno Christosem Papakyriakopoulosem v roce 1956 spolu s Dehnovým lemmatem a teorémem sféry .
Označte jednotkovým diskem v rovině.
Nechť 3-rozdělení s neprázdnou hranicí a
je mapování páru, to znamená , že existuje souvislé mapování takové, že obraz . Předpokládejme, že se omezení nestahuje na . Pak je tu investice
se stejnou vlastností.