traducido hechos 7
corregidos lemmas