《韓子》曰：蟻冬居山之陽，夏居山之陰，蟻壤寸而有水，乃掘，遂得水。