的阳城县是当时的蠖泽县），然后就到了。
沁水县并非什么险阻之地，可以忽略不计，甚至直接从城外河里开过去。
倒是石门地势险要，是离开太行山区进入河内郡平原地带的关键，险要程度仅仅略逊于轵关陉和箕关陉，需要抢一下时间。