Move Urysohn metrization theorem

Author: prabau

theorems/T000516.md

@@ -2,13 +2,13 @@
 uid: T000516
 if:
   and:
-  - P000178: true
-  - P000028: true
+  - P000027: true
+  - P000005 : true
 then:
   P000053: true
 refs:
-  - doi: 10.1002/mana.19700450103
-    name: A Metrization Theorem (P. O'Meara)
+- zb: "1052.54001"
+  name: General Topology (Willard)
 ---
 
-Established in theorem 1 of {{doi:10.1002/mana.19700450103}}, see remarks after definition 2.
+This is *Urysohn's metrization theorem* (Theorem 23.1 in {{zb:1052.54001}}).

theorems/T000906.md

@@ -1,14 +1,14 @@
 ---
-uid: T000906
+uid: T000916
 if:
   and:
-  - P000027: true
-  - P000005 : true
+  - P000178: true
+  - P000028: true
 then:
   P000053: true
 refs:
-- zb: "1052.54001"
-  name: General Topology (Willard)
+  - doi: 10.1002/mana.19700450103
+    name: A Metrization Theorem (P. O'Meara)
 ---
 
-This is *Urysohn's metrization theorem* (Theorem 23.1 in {{zb:1052.54001}}).
+Established in theorem 1 of {{doi:10.1002/mana.19700450103}}, see remarks after definition 2.