diff --git a/spaces/S000135/properties/P000199.md b/spaces/S000135/properties/P000199.md
new file mode 100644
index 000000000..27986906c
--- /dev/null
+++ b/spaces/S000135/properties/P000199.md
@@ -0,0 +1,7 @@
+---
+space: S000135
+property: P000199
+value: true
+---
+
+The map $X\times[0,1] \ni (\vec x,t)\to (1-t)\vec x\in X$ is a homotopy between the identity and a constant.