  This paper introduces proximal homotopic cycles, which lead to the main
results in this paper, namely, extensions of the Mitsuishi-Yamaguchi Good
Coverning Theorem with different forms of Tanaka good cover of an Alexandrov
space equipped with a proximity relation and extensions of the Jordan curve
theorem. An application of these results is also given.
