空山遺天壇，之人在天闕出自哪首詩

空山遺天壇，之人在天闕出自鄧牧的《九鎖山十詠·天壇》。這句詩詞出自鄧牧的《九鎖山十詠·天壇》。
下面是這首詩的全文：
空山遺天壇，之人在天闕。風雷長為護，草樹不敢茁。何當追遐蹤，一笑俯明月。