Ao procedimento de auditoria voltado para a comprovação das transações que, por questões legais, comerciais ou de controle são evidenciadas por documentos comprobatórios da efetividade dessas transações, dá-se o nome de: