generalize T189, remove redundant T450

Author: artemetra

theorems/T000189.md

@@ -1,15 +1,15 @@
 ---
 uid: T000189
 if:
-  P000078: true
+  P000245: true
 then:
   P000027: true
 refs:
 - zb: "0386.54001"
   name: Counterexamples in Topology
 ---
 
-Space is finite implies the topology is finite, hence countable. Thus the topology itself is a countable basis.
+The topology is finite, hence countable. Thus the topology itself is a countable basis.
 
 Follows directly
 from the definition on page 7 of {{zb:0386.54001}}.