昔からの定理。