El enunciado de este teorema, debido a Roger Penrose (1965), es el siguiente: