注册会计师实施的下列各项审计程序中，能够证实银行存款是否存在的有（　）。