Appendix fixes

proofs.tex

@@ -743,8 +743,6 @@
             \end{description}
             \end{proof}
 
-            \pagebreak
-
             \subsection{Operator $\worra {} {}$}\label{app:worra}
 
             In this section, we will use the algorithmic definition of $\worra {} {}$ and show that it is equivalent to its
@@ -1627,5 +1625,3 @@
               \end{description}
             \end{description}
           \end{proof}
-                          
-          \newpage