单圈证明——实数连续性的九个命题的等价性

关于实数连续性的九个命题的等价性虽已被证明,但从现有资料来看,都是把九个命题分成几组,用转圈的方法(如甲→乙→丙→甲)分别证明每组中各命题等价,然后从每组中各选一命题,再证这些命题等价。这样证明,一共就要转好几个圈。我们要问:单圈是否可以证明这九个命题等价呢?在其他同志所得结果的基础上,经研究,我们的愿望是能够实现的。