The proof is given by Hawking and Ellis
[
82
, Proposition
9.2.8]
and by Wald
[
160
, Propositions
12.2.3
and
12.2.4]
.