The Penrose–Hawking singularity theorems require the existence of a singularity at the beginning of cosmic time