“…Recentemente, Juriaans e Oliveira [JO22] . Apresentaremos primeiro uma versão para a full dos conceitos necessários, e mais uma vez, lembramos que o cálculo utilizado aqui é a versão para a full do cálculo de Aragona e seus colaboradores, que foi obtido por Cortes, Garcia e Silva em [CGdS17] e que a topologia cortante para a full está publicada em [AFJ06]. Mais motivações são apresentadas na introdução, conclusão e sugestões para discussões deste trabalho.…”