shorter version, but it only prove the t2 is the subtree of t1