diff --git a/theorems/T000924.md b/theorems/T000924.md
new file mode 100644
index 000000000..394f83054
--- /dev/null
+++ b/theorems/T000924.md
@@ -0,0 +1,14 @@
+---
+uid: T000924
+if:
+  and:
+  - P000109: true
+  - P000221: true
+then:
+  P000030: true
+refs:
+  - mathse: 5144646
+    name: Is any Dieudonne complete monotonically normal space, a paracompact space?
+---
+
+See {{mathse:5144646}}