# Given a topological manifold of dimension 2 or more and points [ilmath]p_1[/ilmath], [ilmath]p_1[/ilmath] and [ilmath]q[/ilmath] where [ilmath]q[/ilmath] is neither [ilmath]p_1[/ilmath] nor [ilmath]p_2[/ilmath] then a path from [ilmath]p_1[/ilmath] to [ilmath]p_2[/ilmath] is path-homotopic to a path that doesn't go through [ilmath]q[/ilmath]

From Maths

TODO: I'd really like a picture of an open ball, centred at [ilmath]q[/ilmath] and a path going through it, and another picture of the path but moved in the open ball to avoid [ilmath]q[/ilmath]

## Statement

For a topological manifold, [ilmath]M[/ilmath], of dimension no more than [ilmath]2[/ilmath], points [ilmath]p_1,p_2,q\in M[/ilmath] such that [ilmath]q\ne p_1[/ilmath] and [ilmath]q\ne p_2[/ilmath] and a path, [ilmath]f:I\rightarrow M[/ilmath] (where [ilmath]I:=[0,1]\subset\mathbb{R}[/ilmath] - the unit interval) from [ilmath]p_1[/ilmath] to [ilmath]p_2[/ilmath], is path-homotopic to a path that *does not* go through [ilmath]q[/ilmath]^{[1]}.

## Proof

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).

## References

Categories:

- Todo
- Pages requiring proofs
- Pages requiring proofs of unknown grade
- Theorems
- Theorems, lemmas and corollaries
- Topological Manifolds Theorems
- Topological Manifolds Theorems, lemmas and corollaries
- Topological Manifolds
- Manifolds Theorems
- Manifolds Theorems, lemmas and corollaries
- Manifolds
- Topology Theorems
- Topology Theorems, lemmas and corollaries
- Topology