展态射 formula_41，使得 formula_42。此外，函子 formula_43 给出从【formula_2 的有限平展覆盖】到【formula_3 的有限平展覆盖】的范畴等价。当 formula_2 为连通时，此定理的一个直接推论是代数基本群与拓扑基本群的比较定理：其中 formula_48，而 formula_49 表示代数基本群 formula_50 对有限指数子群的完备化。