多项选择题

ABC会计师事务所承接了F公司20×8年度财务报表审计业务,己注册会计师任项目负责人。在销售与收款循环业务审计中,遇到了下列事项,请代为做出正确的专业判断。
下列审计程序中,能够证明销售交易真实性的实质性程序有( )。

A.注册会计师通过检查企业销售交易记录清单以确定是否存在重号
B.注册会计师通过检查企业销售交易记录清单以确定是否存在断号
C.从主营业务收入明细账中抽取若干笔分录追查至发运凭证及其他相应原始单据
D.追查应收账款明细账贷方发生额的记录