Gostaria de ter a seguinte funcionalidade: Imagine que tenho um texto como este.
Teorema 1: Todo número inteiro tem um sucessor.
Teorema 2: Existem infinitos números inteiros.
Prova: Usamos o Teorema 1 aqui.
O que quero alcançar é uma pequena nota na margem perto do Teorema 1 indicando (com um hiperlink) que o Teorema 2 (ou sua prova) usa o Teorema 1.
Como é que isso funciona? (É semelhante ao backref, mas quero aplicá-lo a ambientes semelhantes a teoremas e quero obter não apenas o número da página onde o teorema é usado, mas o próprio ambiente preciso.)