《新五代史·本纪·梁本纪第一》
十月，王率宣武、宣义、天平、护国军七万人进兵河中，攻占同州，进攻华州，韩建投降。
十月，王以宣武、宣义、天平、护国兵七万，至于河中，取同州，遂攻华州，韩建出降。
In October, Wang led 70,000 soldiers from Xuanwu, Xuanyi, Tianping, and Huguo to advance on Hezhong, capturing Tongzhou, attacking Huazhou, and Han Jian surrendered.