The 1965 Penrose singularity theorem