Glivenko theorem proof