1: \begin{definition}

2: \begin{mdframed}

3: We fix $s$ to be any constant $> \max (C_{2k-1}+k, c_\R(4) )$ where :

4: \begin{enumerate}

5:  \item $C_k = \frac{C^k}{\delta}$ the constant that appears in Theorem \ref{bdwy}.

6:  \item $\delta$ is some fixed number in $(0,\frac{7-\sqrt{37}}{6})$.

7:  \item $c_\R(4) = 3(4)^2 = 48$, is the rankbound needed for uniqueness of $\Sigma\Pi\Sigma(2)$ circuits as shown in Theorem \ref{uniqueness}.

8: \end{enumerate}

9: \end{mdframed}

10: \end{definition}

11: