原文：
　　龙渊即龙泉，避唐讳更以今名[3]。相传其地即欧冶子铸剑处[4]，至今有水号剑溪焉。山深而川阻，与通都大邑相去远或二三百里[5]，虽至近亦且半之，乡闾之子弟无所于学