Redirecting to Seifert–van Kampen theorem