1 files changed, 20 insertions, 0 deletions
diff --git a/content/zettel/3a8g2e.md b/content/zettel/3a8g2e.md
new file mode 100644
index 0000000..bfad0ea
--- /dev/null
+++ b/content/zettel/3a8g2e.md
@@ -0,0 +1,20 @@
++++
+title = "Need for Recursion in the Proof "
+date = "2022-06-28"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["3a8g2d"]
+forwardlinks = []
+zettelid = "3a8g2e"
++++
+
+When using the above lemmas, each gamma needs to be paired with a
+dominator. If one is at a dominator, then one needs to start the
+collection of the execution along the path
+$n, R \overset{p}{\longrightarrow^*} m, R'$. If one is then at a γ
+function, one can use that path. However, one could also come accross.
+
+![][1]
+
+  [1]: attachment:proof-edge-case.svg