Theorem

Name: Perf. Normal implies Comp. Normal
Hypothesis: not T1 and Perfectly Normal
Conclusion: T5

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.