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 \left({X, x}\right) \to \pi_1 \left({X, y}\right)$