1: \begin{definition}

2: We denote by $\nu_x$ (or $\nu_{x,V}$) the representation of

3: the \C-algebra $\Cstar(\G_{A_f},V)$ produced in Theorem \ref{thmnice100}.

4: \label{defnux}

5: \end{definition}

6: