Para esto necesitamos algunos teoremas preliminares.