The 1965 Penrose singularity theorem. (1st June 2015)