“…Since T is not a corona tree, it has a matching edge, say ½3, 4, whose endvertices are not pendants. Thus it has a path of length 5, say, [1,2,3,4,5,6] such that the edges [1,2], [3,4], [5,6] 2 M: Note that T 0 ¼ T ½3, 4 is either a corona tree or not.…”