Proceso de demostración del teorema de la unicidad de la solución