correcoes na demostraçao do lema 3.3