Normal $T_1$ Spaces Are Hausdorff