diff --git a/theorems/T000439.md b/theorems/T000439.md
index 2c530bb2d..9e0848481 100644
--- a/theorems/T000439.md
+++ b/theorems/T000439.md
@@ -11,4 +11,7 @@ refs:
     name: Do compactness and sequential compactness coincide in countable spaces?
 ---
 
-Shown in {{mathse:4851117}}
+Shown in {{mathse:4851117}}.
+
+----
+*Note*: This theorem is an ingredient in the proof of the stronger result {T806}.
diff --git a/theorems/T000806.md b/theorems/T000806.md
index 76d706f00..96277a77f 100644
--- a/theorems/T000806.md
+++ b/theorems/T000806.md
@@ -2,7 +2,7 @@
 uid: T000806
 if:
   and:
-  - P000019: true
+  - P000016: true
   - P000131: true
 then:
   P000020: true