武徳3年(620年)7月、高祖は、李世民に対して王世充征討の詔書を発出した。