diff --git a/theorems/T000808.md b/theorems/T000808.md
new file mode 100644
index 000000000..55ecd695d
--- /dev/null
+++ b/theorems/T000808.md
@@ -0,0 +1,12 @@
+---
+uid: T000808
+if:
+  P000120: true
+then:
+  P000210: true
+refs:
+  - mathse: 5116648
+    name: Do the Arkhangel'skii $\alpha_i$ properties hold for order topologies?
+---
+
+See {{mathse:5116648}}.
diff --git a/theorems/T000809.md b/theorems/T000809.md
new file mode 100644
index 000000000..139bea2bc
--- /dev/null
+++ b/theorems/T000809.md
@@ -0,0 +1,9 @@
+---
+uid: T000809
+if:
+  P000154: true
+then:
+  P000210: true
+---
+
+By {T750} and {T808}, every {P133} is {P210}, the assertion follows as the property is hereditary.