鑿濠篇第四十六

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