E. ホップの拡張定理