Glivenkoの定理
Valery Glivenko