欧子孤山原不到，泉名六一表怀贤。勤师已化坡仙老，留得高名世上传。