为了确定应收账款的存在性，下列最有效的审计程序是（）。 A. 核对明细账 B. 审阅明细账 C. 积极式函证 D. 消极式函证