%alinea 11
produto_arvore(Elemento,Arvore):-
    findall(X,componente(Elemento,X,_),L),
    semiArvore(L,L1),not(L1==[]),append([Elemento|[L1]],[],Arvore),!;
    append([Elemento],[],Arvore),!.

semiArvore([],[]).
semiArvore([H|T],Arvore):-
    findall(X,componente(H,X,_),L), semiArvore(L,L1), not(L1==[]),
    semiArvore(T,L2), append([H|[L1]],L2,Arvore); semiArvore(T,L2), append([H],L2,Arvore).