核对销售发票的销售商品的数量、单价、金额和税额是否正确，这种程序是实质性审计程序。