Ejemplos 6.5.2.