1: \begin{definition}\lab{def:barK}

2: For $\{\alpha_i\}$ as in Theorem~\ref{thm:feff1}, let

3: $\bar{K} \subset \bigoplus_{i=1}^{\bn} \wh_r^1(E^+)$ be the set of all  $(x_1, \dots, x_{\bn})\in \bigoplus_{i=1}^{\bn} \wh_r^1(E^+)$ (where each $x_i \in \wh_r^1(E^+)$) such that  for each $i\in [\bar{m}]$ \beqs \sum_{j = 1}^{\bn}(\alpha_i( x_j))^2 \leq \beta_i.\eeqs

4: \end{definition}

5: