A注册会计师在对B公司2015年财务报表进行审计时，为了证实2015年12月31日签发的支票是否已登记入账，最有效的审计程序是______。