Redirecting to Penrose-Hawking singularity theorems