W takim razie jest iniekcją co wymusza Finalnie, wybierając (1, 0) i (1, −1) jako bazę Z2, otrzymujemy:
Bukiet dwóch przestrzeni thumb|300px|Rozkład bukietu dwóch sfer Niech będzie bukietem dwóch przestrzeni oraz oraz że punkt bazowy bukietu jest retraktem otwartych otoczeń leżących odpowiednio w oraz Przyjmując oraz (patrz rysunek) mamy Przestrzeń jest ściągalna.
Wówczas otrzymujemy:
dla wszystkich Wynik ten jest ogólniejszą wersją twierdzenia Seiferta-van Kampena (a dla jest abelianizacją tego twierdzenia). W szczególnym przypadku dwóch sfer, korzystając z homologii sfer, otrzymujemy:
Bibliografia
Kategoria:Topologia algebraiczna