兩楹豈謂哲人夢(mèng)，三徑空留君子居出自哪首詩(shī)

兩楹豈謂哲人夢(mèng)，三徑空留君子居出自鄭剛中的《悼陳庭玉》。這句詩(shī)詞出自鄭剛中的《悼陳庭玉》。
下面是這首詩(shī)的全文：
力就揚(yáng)雄宅一區(qū)，知公有意賦歸歟。兩楹豈謂哲人夢(mèng)，三徑空留君子居。厚德所傳唯裔嗣，清名難朽是詩(shī)書。天公到底慳風(fēng)俗，不使斯人在里閭。