Hausdorff implies T1

Statement
Any Hausdorff space is a T1 space.

Related facts

 * Hausdorff implies US
 * Hausdorff implies KC
 * Hausdorff implies sober
 * T1 not implies Hausdorff
 * KC not implies Hausdorff
 * US not implies Hausdorff

Proof
The proof is direct from the definitions.