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