see Homotopic region