Glivenko's theorem