如果银行对账单余额与该银行账户的银行存款日记账余额不符，为查找不符原因或证明银行存款不存在错报，最有效的审计程序是 ( )。