有相身中成锻炼，无为路上证牟尼出自哪首诗？

有相身中成锻炼，无为路上证牟尼出自谭处端的《望蓬莱·行大道》。这句诗词出自谭处端的《望蓬莱·行大道》。
下面是这首诗的全文：
行大道，认取坎和离。一点来时颠倒处，两般消息与搜披。玄妙不难知。休外觅，识取自菩提。有相身中成锻炼，无为路上证牟尼。指日跨云