From the observations of astronomers, it is also certain that the squares of the times of revolution of the principal planets around the sun, and especially of the moons of Jupiter and Saturn around these two planets.