Silmukkalause on yleistys Dehnin lemmasta . Todisti Christos Papakyriakopoulos vuonna 1956 yhdessä Dehnin lemman ja pallolauseen kanssa .
Merkitään tasossa olevalla yksikkölevyllä.
Olkoon 3-jakotukki, jossa on ei-tyhjä raja ja
on parin kartoitus, eli on jatkuva kartoitus siten, että kuva . Oletetaan , että rajoitus ei koske . Sitten on investointi
samalla omaisuudella.