The geometric realization of a simplicial Hausdorff space is Hausdorff

We show that the thin geometric realization of a simplicial Hausdorff space is Hausdorff. This proves a long-standing conjecture of Graeme Segal stating that the thin geometric realization of a simplicial k-space is a k-space.