Vietoris–Begle mapping theorem