Remarks:

The isomorphism $h$ depends on the homotopy class of the path $\sigma$ joining $x_1$ and $x_2$ justifying the notation $h_{[\sigma]}$. The reason for the elaborate notation is that it will reappear in lecture 11. The next theorem tells us what happens when we choose various paths from $x_1$ to $x_2$.