Extend main lemma to rank 0

main.tex

@@ -505,7 +505,7 @@ semistabilizing sequence.
 \begin{lemma}[Numerical tests for left-wall pseudo-semistabilizers]
 \label{lem:pseudo_wall_numerical_tests}
 Let $v$ and $u$ be Chern characters with $\Delta(v),
-\Delta(u)\geq 0$, and $v$ has positive rank. Let $P$ be a point on $\Theta_v^-$.
+\Delta(u)\geq 0$, and $v$ has non-negative rank. Let $P$ be a point on $\Theta_v^-$.
 
 \noindent
 The following conditions:
@@ -613,6 +613,8 @@ Therefore, it's also a pseudo-semistabilizer further along the circle at $Q$
 Finally, consequence 4 along with $P$ being to the left of $V_u$ implies
 $\nu_P(u) > 0$ giving supposition b.
 
+The case with rank 0 can be handled the same way.
+
 \end{proof}
 
 \section{The Problem: Finding Pseudo-walls}