La rotación ya había sido demostrada con el péndulo de Foucault.