قوشۇمچە دەلىل-ئىسپات، دەلىل-ئىسپاتنى تولۇقلاش