  Smooth spacetimes with a compact Cauchy horizon ruled by closed null
geodesics are considered. The compact Cauchy horizon is assumed to be
non-degenerate. Then, supporting the validity of Penrose's strong cosmic censor
hypothesis, the existence of a smooth Killing vector field in a neighbourhood
of the horizon on the Cauchy development side is shown.
