Ejecutamos el programa y obtenemos: