Ehlers-Geren-Sachs theorem