Penrose–Hawking_singularity_theorems loading ...