migliorata dim lemma approx
migliorata dim lemma approx