证实固定资产是否存在最有效的审计程序是