diff --git a/theorems/T000806.md b/theorems/T000806.md
new file mode 100644
index 000000000..76d706f00
--- /dev/null
+++ b/theorems/T000806.md
@@ -0,0 +1,18 @@
+---
+uid: T000806
+if:
+  and:
+  - P000019: true
+  - P000131: true
+then:
+  P000020: true
+refs:
+  - zb: "1126.54010"
+    name: When is a compact space sequentially compact? (O. Alas, R. Wilson)
+  - mo: 506776
+    name: Proof of Alas and Wilson that countably compact hereditarily Lindelof spaces are sequentially compact
+---
+
+Established as Corollary 2.2 of Theorem 2.1 in {{zb:1126.54010}}
+(available [here](https://topology.nipissingu.ca/tp/reprints/v29/tp29201.pdf)).
+Note that the proof of Theorem 2.1 contains errors which need corrections. These are discussed in {{mo:506776}}.