Curso de análise - Lima, Elon Lages (Proyecto Euclides, 1976)