郑国入秦兴修水利，十年成300余里郑国渠，其作用究竟有多大？