Theorem

Name: Semiregular implies Hausdorff
Hypothesis: Semiregular
Conclusion: Hausdorff

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.