Fundamental Group is Independent of Base Point for Path-Connected Space

= Theorem =

Let $$X \ $$ be a path-connected space. For $$x,y \in X$$, there is an isomorphism $$\phi:\pi_1(X,x) \to \pi_1(X,y)$$.

= Proof =