1: \begin{proof} 

2: Computing the degree of an algebraic variety is a basic function of the software {\tt Bertini} \cite{BertiniSoftware}, see the ancillary files and \cite{BertiniBook}. We thank Jon Hauenstein for his help with this computation. 

3: The idea is to intersect $X$ with a randomly chosen $\bP^2$ and find $96$ points. One of the basic methods of numerical algebraic geometry (and {\tt Bertini}, in particular) is numerical homotopy continuation, which relies on high precision numerical path tracking to follow the paths traced out by a homotopy from a system of polynomial equations with known roots to the desired system.  For more details on these types of computations applied to tensor decomposition, see \cite{DHO, HOOS}.

4: 

5: The points found are represented by floating point numbers, so only satisfy the equations approximately. Though these methods have been rigorously tested through countless examples, are open source and repeatable, there is still a chance that the computations yield a false positive result, so we only claim that the result holds with high probability, so the proof of the lemma may be read as evidence for the statement.

6: \end{proof}

7: