經曰：濠麵闊二丈、深一丈、底闊一丈，以麵闊積數三丈半之，得數一丈五尺；以深一丈乘之，鑿濠一尺，得數一十五丈。每一工日出土三丈一尺，計工五人。一步，計工三十人；一裏，計工一萬八千人。一裏為率，則百裏可知。