El paso 3 demuestra que formula_130 admite una descomposición paradójica.