Which theorems require the existence of a singularity at the beginning of time?