3 与 formula_4 定理说空间 "X" 的基本群是这两个包含映射的推出。当然，"X" 是 "D" 到 "A" 与 "B" 的两个包含映射的推出。从而我们可以将这个定理更深刻地理解为基本群函子保持包含推出的基本群。我们可能预计当 "D" 是单连通时最简单，因为两个上面同态的定义域都是平凡群。事实上确实如此，因为此时群的推出退化成自由积，即群范畴中的余积。在更一般的情形我们可以说是带共合的自由积。下面所列 J. P. May 的书中，在稍一般情形（覆盖群胚）给出了详细地说明。