ホップの拡張定理