Se terminó de demostrar el inciso 6 del problema 4.