Solution
= Solution
\b[True.] A path $u:x\to y$ gives the basepoint-change isomorphism of <fundamental groups> $[\gamma]\mapsto[\overline u*\gamma*u]$. Concatenating paths is compatible with homotopy and loop multiplication. Using the reversed path gives its inverse, because $u*\overline u$ and $\overline u*u$ contract relative to endpoints.