diff --git a/theorems/T000700.md b/theorems/T000700.md
new file mode 100644
index 000000000..6684ce07e
--- /dev/null
+++ b/theorems/T000700.md
@@ -0,0 +1,14 @@
+---
+uid: T000700
+if:
+  and:
+  - P000126: true
+  - P000136: false
+then:
+  P000203: true
+refs:
+  - mathse: 4995169
+    name: Does every door space with an infinite compact set have a single non-isolated point?
+---
+
+See {{mathse:4995169}}.