Finalmente a rede IME voltou a funcionar.
Publiquei as correções da minha versão
do Lema 7.15.3 (veja apêndice do meu
Roteiro).
Também corrigi o enunciado do exercício
Exr46.
Será que agora está rudo certo?
[]s
--Paulo
Forum