《水经注·卷十七》
渭水发源于其间，往东北流过同穴山支脉之间。既然说流过，显然就不是一座山了。
渭水出其中，东北过同穴枝间，既言其过，明非一山也。
The Wei River originates in the area, and flows northeast, passing between the spurs of Tongxueshan Mountain. Since it is said that it flows past the mountain, it is obviously not a single mountain.