经曰：日面阔二丈、深数丈、底阔数丈，以面阔积数三丈半之，得数数丈五尺；以深数丈乘之，凿日数尺，得数数十五丈。每数工日出土三丈数尺，计工五人。数步，计工三十人；数里，计工数万八千人。数里为率，则百里可知。
