From c2bacbc92d715b662ea418532f32148f2ddaf3a4 Mon Sep 17 00:00:00 2001
From: Batixx <s59fpern@uni-bonn.de>
Date: Mon, 6 Apr 2026 01:06:10 +0200
Subject: [PATCH 1/2] simplify t391

---
 theorems/T000391.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/theorems/T000391.md b/theorems/T000391.md
index 3b87993037..9df243b933 100644
--- a/theorems/T000391.md
+++ b/theorems/T000391.md
@@ -3,9 +3,9 @@ uid: T000391
 if:
   and:
     - P000058: false
-    - P000065: false
+    - P000163: true
 then:
-  P000163: false
+  P000065: true
 ---
 
-Direct from the definitions.
+Immediate from the definitions.

From fdb3d76c87f0e2f7900bf64421464e4089d2a566 Mon Sep 17 00:00:00 2001
From: Felix Pernegger <s59fpern@uni-bonn.de>
Date: Mon, 6 Apr 2026 02:58:04 +0200
Subject: [PATCH 2/2] switch hypothesis

---
 theorems/T000391.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theorems/T000391.md b/theorems/T000391.md
index 9df243b933..b482a745d8 100644
--- a/theorems/T000391.md
+++ b/theorems/T000391.md
@@ -2,8 +2,8 @@
 uid: T000391
 if:
   and:
-    - P000058: false
     - P000163: true
+    - P000058: false
 then:
   P000065: true
 ---