traducido hechos 5
corregidos lemmas