为证实被审计单位登记入账的销售交易确已发生，下列审计程序中，最为有效的是( )。