>>56
It is valid, but it won't help. The original and the extended function are different sets, and have different properties. For example: The domain and image sets are different, the extended function is a field isomorphism, while the original isn't, the extended function is not essential(a function is essential if it is not homotopic to a constant function, I'm not sure if that term is used in English language) while the original is essential.