1 files changed, 6 insertions, 2 deletions
diff --git a/library/topology/urysohn2.tex b/library/topology/urysohn2.tex
index 8e5261e..05ea180 100644
--- a/library/topology/urysohn2.tex
+++ b/library/topology/urysohn2.tex
@@ -44,10 +44,14 @@
 \begin{proof}
 
 
+    Define $f : X \to \reals$ such that  $f(x) = $
+    \begin{cases}
+        &(x + x) , x \in X
+        % & x ,x \in X    <- will result in technicly ambigus parse
+    \end{cases}
 
-
+    Trivial.
     
-    Contradiction.
     
 \end{proof}