885 %\begin{center}

   885 %\begin{center}

   886 %$\blexer \; r^\uparrow \;s = \blexers \; r^\uparrow \;s$

   886 %$\blexer \; r^\uparrow \;s = \blexers \; r^\uparrow \;s$

   887 %\end{center}

   887 %\end{center}

   888 

   888 

   889 \noindent

   889 \noindent

   891 result as the original algorithm, which does not use 

   891 result as the original algorithm, which does not use 

   892 bit-sequence.

   892 bit-sequence.

   893 The proof uses two ``tricks''. One is that it uses a \flex-function

   893 The proof uses two ``tricks''. One is that it uses a \flex-function

   894 

   894 

   895 \begin{center}

   895 \begin{center}