經(jīng)曰：濠面闊二丈、深一丈、底闊一丈，以面闊積數(shù)三丈半之，得數(shù)一丈五尺；以深一丈乘之，鑿濠一尺，得數(shù)一十五丈。每一工日出土三丈一尺，計(jì)工五人。一步，計(jì)工三十人；一里，計(jì)工一萬(wàn)八千人。一里為率，則百里可知。