某银行内部审计师希望确定是否所有贷款都有充足的抵押担保，并根据是否需要近期支付分为流动和非流动两类。为实现这些审计目标，最佳的审计程序是：

A．使用通用审计软件读取贷款总文件，根据最近的一次付款到期日来划分。按流动和非流动进行分层统计抽样，审查抽取到的每项贷款是否正确进行抵押和分类。
B．针对超过一定金额的一组贷款样本进行抽样，确定它们是否按流动性适当分类，以证实每笔经批准的贷款时限和分类情况。
C．对所有贷款申请进行发现抽样，确定是否每个申请都附有抵押声明书。
D．选取已偿付贷款的样本，追查至原贷款，确认这些付款是否都经过适当的申请手续；并对申请进行审查，以确定是否有适当的抵押。