A theorem on graft
You've defined a graft operation in this
exercise , and proved some properties of this operation in
this one .
Prove that, if some tree t1 has only infinite branches,
then t1 and (graft t1 t2) are
bisimilar (see this and
All the solutions of this thread of exercises.
Follow this link for a complete solution.