The van Kampen theorem.