A theorem on graft

You've defined a graft operation in this exercise .
Prove that, if some tree t1 has only infinite branches, then t1 and (graft t1 t2) are bisimilar (see this and this exercise).

Resources

All the solutions of this thread of exercises.

Solution

Follow this link for a complete solution.