为证实所有销售交易均已登记入账，注册会计师在执行审计程序时，常用的交易实质性程序是______。
检查证明销售交易分类正确的原始证据
将发运凭证与相关的销售发票和主营业务收入明细账及应收账款明细账中的分录进行核对
追查主营业务收入明细账中的分录至销售单、销售发票副联及发运凭证
追查主营业务收入明细账中的分录至销售单中的赊销审批和发运审批
[解析] 选项A针对的是分类认定；选项C、D针对的是发生认定。