diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 0b8e8bbf..436c9050 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -127,6 +127,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \renewcommand{\paragraphautorefname}{\S\!}
 \renewcommand{\subparagraphautorefname}{\S\!}
 \newcommand{\crossref}[1]{\autoref{#1}\, \emph{`\nameref*{#1}\kern -0.05em'} on p.\,\pageref*{#1}}
+\newcommand{\theoremref}[1]{\autoref{#1} on p.\,\pageref*{#1}}
 
 % https://tex.stackexchange.com/a/60212/78411
 \newcommand{\subsubsubsection}[1]{\paragraph{#1}\mbox{}\\}
@@ -4458,7 +4459,7 @@ since $G$ is of odd order \cite{KvE2013}).
 \end{proof}
 
 \vspace{0.5ex}
-\begin{theorem}
+\begin{theorem} \label{thmselectuinjective}
 $\Selectu$ is injective on $G$.
 \end{theorem}
 
@@ -7149,7 +7150,7 @@ can be safely used:
 \newcommand{\halfs}{\frac{s-1}{2}}
 
 \introlist
-\begin{theorem}
+\begin{theorem} \label{thmdistinctxcriterion}
 Let $Q$ be a point of odd-prime order $s$ on a Montgomery curve $E_{\ParamM{A},\ParamM{B}} / \GF{\ParamS{r}}$.
 Let $k_{\barerange{1}{2}}$ be integers in $\rangenozero{-\halfs}{\halfs}$.
 Let $P_i = \scalarmult{k_i}{Q} = (x_i, y_i)$ for $i \in \range{1}{2}$, with