鑿壕之法，麵闊二丈，深一丈，底闊一丈。以麵闊二丈加底闊一丈，積數大半得之，得數一丈五尺。以深一丈乘之，鑿壕一丈，得數一十五丈。每工日出三丈，計工五人。一步五尺，計工二十五人。十步，計工二百五十人。百步，計工二千五百人。三百六十步，計工九千人。率一裏，則百裏可知也。