From 8f5e36ee66da1daa1f1ad137a47ee3de33c6fbf6 Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Mon, 23 Mar 2026 14:33:14 +0100
Subject: [PATCH] eduroam-prg-gm-1-0-147.net.univ-paris-diderot.fr
 2026-3-23:14:33:14

---
 .obsidian/plugins/breadcrumbs/data.json | 2 +-
 corps des entiers relatifs.md           | 6 +++++-
 fonction pi.md                          | 2 +-
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json
index 3de8362c..65535c8c 100644
--- a/.obsidian/plugins/breadcrumbs/data.json
+++ b/.obsidian/plugins/breadcrumbs/data.json
@@ -651,7 +651,7 @@
           "alias": false
         },
         "lock_view": false,
-        "lock_path": "corps des entiers relatifs.md"
+        "lock_path": "fonction d'ackermann de cori et lascar.md"
       }
     },
     "codeblocks": {
diff --git a/corps des entiers relatifs.md b/corps des entiers relatifs.md
index 63488cd0..4f081e92 100644
--- a/corps des entiers relatifs.md	
+++ b/corps des entiers relatifs.md	
@@ -33,7 +33,11 @@ aliases:
 > > Alors $bq + r = a = bq' + r'$
 > > donc $b(q - q') = r' - r$
 > > or $0 \leq r' < b$ et $0 \leq r < b$
-> > donc $-b$
+> > donc $-b < -r \leq 0$
+> > $-b < r' -r <b$
+> > $-1 < q - q' < 1$ ce qui implique que $q - q' = 0$ puisque l'on est dans $\mathbb{Z}$
+> > Donc $q = q'$, et donc aussi $r = r'$
+> > Cela donne l'unicité
 
 # Exemples
 
diff --git a/fonction pi.md b/fonction pi.md
index 1f4d16ea..282f6c94 100644
--- a/fonction pi.md	
+++ b/fonction pi.md	
@@ -14,7 +14,7 @@ aliases:
 
 # Propriétés
 
-> [!proposition]+ la fonction $\pi$ est primitive récursive
+> [!proposition]+ la fonction $\pi$ est [[fonction récursive primitive|récursive primitive]]
 > La fonction $\pi$ est [[fonction récursive primitive|récursive primitive]]
 > > [!démonstration]- Démonstration
 > > On peut définir $\pi$ par récurrence et par [[schéma mu borné|schéma µ borné]] comme suit :