corregidos lemmas