A product space of Hausdorff spaces is again a Hausdorff space.