采购付款循环审计不会运用函证程序。