O procedimento de auditoria utilizado para a verificação da exatidão matemática de documentos ou registros, e que pode ser realizado manual ou eletronicamente, é: