The van Kampen theorem, done.