traducido hechos 16
corregidos lemmas