lìshǐ jìzǎi, Wáng Shìchōng céng yǔ Lǐ Shìmín zhēngduó tiānxià.

历史记载，王世充曾与李世民争夺天下。

Historical records show that Wang Shichong fought with Li Shimin for control of the empire.