Teorema sobre las propiedades de la descomposición ideal