Glivenko–Stone theorem