Theorem
| Name: | Completely Regular implies Urysohn |
| Hypothesis: | T3.5 and T0 |
| Conclusion: | Urysohn |
| Human Entered Proof: | Needed. This fact is stated on page 17 of Counterexamples. |
Note: This selection of hypothesis and conclusion is only one way to interpret this theorem. The theorem could be written as many different logically equivalent implications.