add suggestions

Author: felixpernegger

theorems/T000909.md

@@ -8,5 +8,5 @@ then:
   P000078: true
 ---
 
-Let $p$ be a cut point of $X$. If $X$ were infinite, $|X\setminus \{p\}|=|X|$, but they cannot be homeomorphic as $X$ is connected but $X \setminus \{p\}$ is not.
+Let $p$ be a cut point of $X$. If $X$ were infinite, $|X\setminus \{p\}|=|X|$, but they cannot be homeomorphic as $X$ is {P36} but $X \setminus \{p\}$ is not.
 

theorems/T000910.md

@@ -5,6 +5,7 @@ if:
   - P000219: true
   - P000196: false
   - P000129: false
+  - P000078: false
 then:
   P000002: true
 refs:

theorems/T000911.md

@@ -5,6 +5,8 @@ if:
   - P000219: true
   - P000181: true
   - P000129: false
+  - P000052: false
+  - P000222: false
 then:
   P000196: true
 refs: