我想要具有以下功能：想象一下我有这样的文本。
定理 1：每个整数都有一个后继。
定理 2：整数有无数个。
证明：这里我们使用定理1。
我想要实现的是在定理 1 附近的边缘处做一个小注释，通过超链接指出定理 2（或其证明）使用了定理 1。
这是如何工作的？（它类似于 backref，但我想将它应用于类似定理的环境，并且我不仅想获得使用定理的页码，还想获得精确的环境本身。）
列出所有使用某个定理的定理
我想要具有以下功能：想象一下我有这样的文本。
定理 1：每个整数都有一个后继。
定理 2：整数有无数个。
证明：这里我们使用定理1。
我想要实现的是在定理 1 附近的边缘处做一个小注释，通过超链接指出定理 2（或其证明）使用了定理 1。
这是如何工作的？（它类似于 backref，但我想将它应用于类似定理的环境，并且我不仅想获得使用定理的页码，还想获得精确的环境本身。）