戸田の定理