revisado hasta lemma 2.5