Normal Hausdorff implis Tychonoff