"In 1917 de Sitter showed that Einstein's field equations could be solved by a model that was completely empty apart from the cosmological constant—i.e. a model with no matter whatsoever, just dark energy. This was the first model of an expanding universe. although this was unclear at the time. The whole principle of general relativity was to write equations for physics that were valid for all observers, independently of the coordinates used. But this means that the same solution can be written in various different ways... Thus de Sitter viewed his solution as static, but with a tendency for the rate of ticking clocks to depend on position. This phenomenon was already familiar in the form of gravitational time dilation... so it is understandable that the de Sitter effect was viewed in the same way. It took a while before it was proved (by Weyl, in 1923) that the prediction was of a redshifting of spectral lines that increased linearly with distance (i.e. Hubble's law). ..."