1: \begin{proof} Exaggerating a bit the only rigorous proof, we are

2: aware of, uses the five lemma

3: and homology, cf. e.g. Gabard-Gauld 2011

4: \cite[Lemma~4.17]{Gabard-Gauld_2011-Dynamics}, Dynamics of

5: non-metric manifolds. It works universally without having even to

6: assume the surface metrizable. Hausdorffness is however crucial

7: (consider a branched plane and in it a Jordan curve on the upper

8: sheet, then you can evade via the lower sheet so as to reach the

9: outside of the upper sheet.)

10: 

11: The five lemma implies that when we have a Jordan curve $J\subset

12: U \subset M$ included in two nested spaces, then if it divides the

13: large space $M$,  it must divide the small one $U$, and viceversa

14: provided $H_1(U)\to H_1(M)$ is onto. This latter fact prompts the

15: first implication ``$\Rightarrow$'' by taking $U$ the tubular

16: neighborhood of $J$ (which must be trivial since otherwise there

17: would be an indicatrix-reversing loop violating the assumption

18: $\pi_1(M)=0$). The second implication ``$\Rightarrow$'' follows

19: from the first fact, namely a division in the large $M$ implies a

20: division in the small $U$, hence is particular of the tubular

21: neighborhood which must therefore be trivial.\end{proof}