Me gustaría tener la siguiente característica: Imagina que tengo un texto como este.
Teorema 1: Todo número entero tiene un sucesor.
Teorema 2: Hay infinitos números enteros.
Prueba: aquí utilizamos el teorema 1.
Lo que quiero lograr es una pequeña nota en el margen cerca del Teorema 1 que indique (con un hipervínculo) que el Teorema 2 (o su demostración) usa el Teorema 1.
¿Cómo funciona esto? (Es similar a backref, pero quiero aplicarlo a entornos similares a teoremas y quiero obtener no sólo el número de página donde se utiliza el teorema, sino el entorno preciso en sí).