From 3101a9582748e3e6d23bd071bfeea8cff804e0c0 Mon Sep 17 00:00:00 2001
From: Tobias Eidelpes <tobias@eidelpes.info>
Date: Tue, 21 Jun 2022 12:30:15 +0200
Subject: [PATCH] Add solution for 5e

---
 exam/ex.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/exam/ex.tex b/exam/ex.tex
index ab53422..bf71734 100644
--- a/exam/ex.tex
+++ b/exam/ex.tex
@@ -272,7 +272,9 @@
 
     \item \TODO
 
-    \item \TODO
+    \item If $G_{ch}=\phi_{ch}(G)$ and $G'=\psi(G)$, it follows that
+      $G=\phi_{ch}^{-1}(G_{ch})$ and therefore $G'=\psi(\phi_{ch}^{-1}(G_{ch}))$
+      so the verifier will always accept.
 
     \item \TODO