una descomposición que cumple las condiciones del lema.