# 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
this exercise).
### Resources

All the solutions of this thread of exercises.
## Solution

Follow this link for a complete solution.

Going home

Pierre Castéran