\subsection{Mathematical Definitions}
\label{sec:mathematical-definitions}

% This subsection contains the mathematical definitions used in the proof
