Ehlers–Geren–Sachs theorem