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