注册会计师为了验证被审计单位记录的销售交易是否完整，下列最有效的实质性程序是（）