sentencias return y la ejecución de cualquiera de ellas terminará la