阳陵郭门外，陂陁丈五坟。 九泉如结友，兹地好埋君。