traducido romanos 3
corregidos lemmas