From 49afd1aa7689ce643ce07c8ca63ccce1784bb966 Mon Sep 17 00:00:00 2001
From: Aaron Huber <ahuber@buffalo.edu>
Date: Fri, 26 Jun 2020 23:14:44 -0400
Subject: [PATCH] Notes from 062620

---
 poly-form.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/poly-form.tex b/poly-form.tex
index f2e08fe..c970f62 100644
--- a/poly-form.tex
+++ b/poly-form.tex
@@ -114,6 +114,7 @@ Let $\poly(\wVec) = q_E^3(\wVec)^3$.
 \end{Claim}
 
 \begin{proof}
+\AH{Use this equation as its own lemma, to be used in lemmas 3 and 4.}
 When we expand $\poly$ out and assign all exponents $e \geq 1$ a value of $1$, we have the following,
 	\begin{align}
 		&\rpoly(\prob,\ldots, \prob) = \numocc{\ed}\prob^2 + 6\numocc{\twopath}\prob^3 + 6\numocc{\twodis} + 6\numocc{\tri}\prob^3 +\nonumber\\