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