traducido hechos 23
corregidos lemmas