traducido hechos 17
corregidos lemmas