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