環道定理(loop theorem) 3維流形理論中的一個基本定理.德恩(Dehn, M.)於1910年提出了下列引理:若M為3維流形，Bz為2維圓盤，f:Bz-> M為連續映射，使得aBz在Bz的某鄰域A上，f是嵌人，即f-'f(A))=A，則f } aA能夠擴張為嵌人g:Bz-->M.但是德恩的證明是不完全的，這個問題直至1957年，帕帕克里亞可帕羅史(Papakyri-akopoulos , C. D.)才給出一個完全的證明.帕帕克里亞可帕羅史證明的稱為環道定理與球面定理，而把上述德恩引理作為環道定理的推論，以後史太令史(Stallings, J.)等又對於原來的證明作了改進.
