Repartido el trabajo entre tantos trabajadores, y este feliz término que tuvo tamaña empresa admiró y aterró a los pueblos vecinos que burlábanse de ella al principio por considerarla vana.