下列审计程序中，最能有效证实应收账款真实性的是()