Goldberg–Sachs theorem