SympSnip:

proposition 0.0.1

Let M be a closed 3-manifold. There exists a Heegaard splitting for M.