如果银行对账单余额与该银行账户的银行存款日记账余额不符，为查找不符原因或证明银行存款不存在错报，最有效的审计程序是______。
函证银行存款账户
检查该银行账户的银行存款余额调节表
对银行存款进行截止测试
检查银行存款账户是否属于被审计单位
[解析] 取得并检查银行存款余额调节表是注册会计师证实银行存款是否存在错报的重要的实质性程序。