Singularity theorems