Inclusão do Lema 5.2 - Enunciado