函证是销售与收款循环实质性程序中不可或缺的环节，主要针对应收账款的存在性进行验证。

函证是应收账款实质性程序的核心，用于确认应收账款的存在性，属于教材明确列出的实质性程序内容。