Ich hätte gerne folgende Funktion: Stellen Sie sich vor, ich habe so einen Text.
Satz 1: Jede ganze Zahl hat einen Nachfolger.
Satz 2: Es gibt unendlich viele ganze Zahlen.
Beweis: Wir verwenden hier Theorem 1.
Was ich erreichen möchte, ist eine kleine Anmerkung am Rand neben Theorem 1, die (mit einem Hyperlink) darauf hinweist, dass Theorem 2 (oder sein Beweis) Theorem 1 verwendet.
Wie funktioniert das? (Es ist ähnlich wie backref, aber ich möchte es auf theoremähnliche Umgebungen anwenden und nicht nur die Seitenzahl erhalten, auf der das Theorem verwendet wird, sondern die genaue Umgebung selbst.)