由于函证短期借款可以证实未入账的债务，所以函证短期借款是注册会计师在执行短期借款审计时必须执行的程序