Talk:Ehlers–Geren–Sachs theorem