diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 8d0d4b5..533f0ca 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -213,6 +213,7 @@
   },
   "active": "483215723737b6f7",
   "lastOpenFiles": [
+    "Pasted image 20250401083747.png",
     "Concurrent Systems/slides/class 10.pdf",
     "Concurrent Systems/notes/10 - Consensus Implementation.md",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
diff --git a/Concurrent Systems/notes/10 - Consensus Implementation.md b/Concurrent Systems/notes/10 - Consensus Implementation.md
index 0dea4fb..cef0a9d 100644
--- a/Concurrent Systems/notes/10 - Consensus Implementation.md	
+++ b/Concurrent Systems/notes/10 - Consensus Implementation.md	
@@ -24,4 +24,11 @@ Let's consider binary consensus implemented by an algorithm A by using base obje
 A configuration C obtained during the execution of all A is called:
 - **v-valent** if $S_A(C)$ decides v, for every $S_A$
 - **monovalent**, if there exists $v \in \{0,1\}$ s.t. C is v-valent
-- **bivalent**, otherwise.
\ No newline at end of file
+- **bivalent**, otherwise.
+
+### Fundamental theorem
+If A wait-free implements binary consensus for n processes, then there exists a bivalent initial configuration.
+
+*Proof:*
+![[Pasted image 20250401083747.png]]
+
diff --git a/Pasted image 20250401083747.png b/Pasted image 20250401083747.png
new file mode 100644
index 0000000..40c78a1
Binary files /dev/null and b/Pasted image 20250401083747.png differ