2071 \caption{A movie move}

  2071 \caption{A movie move}

  2072 \label{jun23d}

  2072 \label{jun23d}

  2073 \end{figure}

  2073 \end{figure}

  2074 Invariance under this movie move follows from the compatibility of the inner

  2074 Invariance under this movie move follows from the compatibility of the inner

  2075 product for $B_1\cup B_2$ with the inner products for $B_1$ and $B_2$.

  2075 product for $B_1\cup B_2$ with the inner products for $B_1$ and $B_2$.

  2076 

  2077 

  2077 If $n\ge 2$, these two movie move suffice:

  2078 If $n\ge 2$, these two movie move suffice:

  2078 

  2079 

  2079 \begin{lem}

  2080 \begin{lem}

  2080 Assume $n\ge 2$ and fix $E$ and $E'$ as above.

  2081 Assume $n\ge 2$ and fix $E$ and $E'$ as above.