Talk:Glivenko–Stone theorem