$$ \cellpush=4pt \let\labelstyle\textstyle \lpad=1in \bpad=1cm \Graph{4in,4}{3.5in,1in} \To (0,0) (3.3,0) \hd{p} \To (0,0) (0,3.5) \hd{q} \Line (2,0) (2,3.25) \Line (0,1) (3.2,1) \Dot (2,1) \Dot (0,0) % \Dot (2,0) \Dot (2.25,0) \Dot (2.5,0) \Dot (2.75,0) \Dot (3,0) % \Dot (0,1) \Dot (0,1.25) \Dot (0,1.5) \Dot (0,1.75) \Dot (0,2) \Dot (0,2.25) \Dot (0,2.5) \Dot (0,2.75) \Dot (0,3) % \Line (0,2.25) (2.5,0) ^{d^p} :{.35,5pt} \ro \Line (0,3) (3,0) ^{p + q = m + n} :{.35,5pt} \ro % \Math{q = n} (-.1,1) *1 \Math{E_{0,p-1}^2 = E_{0,p-1}^p} (-.1,2.25) *1 \Math{p = m} (2,-.2) *{.55} \Math{E_{p,0}^2 = E_{p,0}^p} (2.75,-.2) *{.6} \endGraph $$