Analise o algoritmo abaixo em pseudocódigo.

Função Ta_na_Arvore (aux, arvore)
Início
Se Ta_Vazia(arvore) Retorna Falso
Senão
Início
Se Valor_Raiz(arvore) = aux Retorna Verdadeiro
Senão
Retorna Ta_na_Arvore(aux, Semi_Esq(arvore)) ou Ta_na_Arvore(aux, Semi_ Dir(arvore))
Fim
Fim

Onde:

Ta_Vazia(arvore) retorna Verdadeiro quando arvore=Nil;

Valor_Raiz(arvore) retorna o valor contido no elemento raiz da arvore;

Semi_Esq(arvore) retorna a semi-árvore esquerda de arvore;

Semi_Dir(arvore) retorna a semi-árvore direita de arvore;

arvore é uma árvore qualquer com raiz igual a R.

Considerando o exposto acima é correto afirmar que a função Ta_na_Arvore(aux, arvore)