D注册会计师负责对丁公司20×4年度财务报表进行审计。在审计银行存款时，D注册会计师遇到下列事项，请代为作出正确的专业判断。 如果丁公司某银行账户的银行对账单余额与银行存款日记账余额不符，最有效的审计程序是( )。