虽然没构出反例，但是感觉非常不显然？

我只能证出更强的条件是充要的：对于树S上的相邻的一对点x、y（x是y的父亲），原树T里x->y路径上的点全部在树S里y的子树内。