Van Kampen theorem