无空函达元子,有报书绝山公。非牛溪负苓者,即鹿门采药翁。