Glivenkos theorem