Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
arXiv:2604.04296
Abstract
We present, in detail and with a modern rigor, the two title proofs. The Weak Jordan Theorem (WJT) states that the complement of any topological circuit in the plane is disconnected.
18 pages, some more rigor, more or less final version