蔣陵因山以爲名，呉大帝陵也。