格式化蕴涵循环证明

Question

有些定理/引理/命题以“如果 [...] 那么以下是等效的：“。在此之后，枚举（一）、（二）、（三）如下。

证明通常以“蕴涵循环”的方式进行：首先证明 (i)⇒(ii)，然后证明 (ii)⇒(iii) 和 (iii)⇒(i)。

问题是：正确的方法用于这样的证明？

1. 除了显而易见的环境之外，是否还存在其他某种环境，例如“\begin{description}”？
2. 最好的情况是引用（和标签）能够自动创建。
3. 此外，这种方法是否也会自动更改编号，例如，如果我更改“（我）“ 到 ”A。“？