チェコフの定理だっけ?