Thomassen's proof and Filippov's proof of the Weak Jordan Theorem

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.