我想要有以下功能：想像我有這樣的文字。
定理 1：每個整數都有一個後繼。
定理2：整數有無限多個。
證明：我們在這裡使用定理1。
我想要實現的是在定理 1 附近的頁邊空白處添加一個小註釋，指示（透過超連結）定理 2（或其證明）使用定理 1。
這是如何運作的？ （它與 backref 類似，但我想將其應用於類似定理的環境，並且我不僅想獲取使用定理的頁碼，還想獲取精確的環境本身。）
列出所有使用某個定理的定理
我想要有以下功能：想像我有這樣的文字。
定理 1：每個整數都有一個後繼。
定理2：整數有無限多個。
證明：我們在這裡使用定理1。
我想要實現的是在定理 1 附近的頁邊空白處添加一個小註釋，指示（透過超連結）定理 2（或其證明）使用定理 1。
這是如何運作的？ （它與 backref 類似，但我想將其應用於類似定理的環境，並且我不僅想獲取使用定理的頁碼，還想獲取精確的環境本身。）