Comparar la demostración anterior con la demostración del teorema 6.5.6