Үүнийг мессежээр илгээх: Accurate Theorem Proving for Program Verification