correcoes na demostraçao do lema 3.1