simplify t391

felixpernegger · felixpernegger · commit c2bacbc92d71 · 2026-04-06T01:06:10.000+02:00
diff --git 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.
