1: \begin{definition}

2:   An optimal observable vector is a vector that divides the region of acceptance from the

3:   region of rejection as stated by Theorem~\ref{the:helstrom}.

4: \end{definition}

5: