Relate Numerical ineqs subsect to previous lemmas

main.tex

@@ -1018,6 +1018,10 @@ and we shall be varying $\chern_0(E) = r$ to see when certain inequalities fail.
 
 \subsection{Numerical Inequalities}
 
+This section studies the numerical conditions that $u$ must satisfy as per
+lemma \ref{lem:pseudo_wall_numerical_tests}
+(or corrolary \ref{cor:numerical-test-left-pseudowalls-rational-betamin}).
+
 \subsubsection{Size of pseudo-wall: $\chern_2^P(u)>0$ }
 \label{subsect-d-bound-radiuscond}