diff --git a/spaces/S000138/properties/P000147.md b/spaces/S000138/properties/P000147.md
new file mode 100644
index 0000000000..31e8aa1dc2
--- /dev/null
+++ b/spaces/S000138/properties/P000147.md
@@ -0,0 +1,10 @@
+---
+space: S000138
+property: P000147
+value: true
+refs:
+- doi: 10.4064/fm-73-2-179-186
+  name: A normal space X for which X×I is not normal (M.E. Rudin)
+---
+
+See lemma 4 in {{doi:10.4064/fm-73-2-179-186}}.
diff --git a/spaces/S000138/properties/P000162.md b/spaces/S000138/properties/P000162.md
new file mode 100644
index 0000000000..acbca0341b
--- /dev/null
+++ b/spaces/S000138/properties/P000162.md
@@ -0,0 +1,10 @@
+---
+space: S000138
+property: P000162
+value: false
+refs:
+- doi: 10.4064/fm-73-2-179-186
+  name: A normal space X for which X×I is not normal (M.E. Rudin)
+---
+
+See IV.4 of {{doi:10.4064/fm-73-2-179-186}}.