Some Lemmas for the Jordan Curve Theorem 1

Summary. I present some miscellaneous simple facts that are still missing in the library. The only common feature is that, most of them, were needed as lemmas in the proof of the Jordan curve theorem. MML Identifier:JCT_MISC