La demostración de esos resultados requiere otros resultados que no están cubiertos en este texto.