解的延拓定理