Podíamos haber escrito esto y el resultado es el mismo: