/sci/ - Science & Math

>>8399724
You've made your loop using some path contained solely in [math]A[/math] between the same end-points, ok?

Just concatenate this exact same path to your whole loop homotopy and it will give you the needed path homotopy.

pic related