Since tree Y1 is a spanning tree of graph P, there is a path in tree Y1 joining the two endpoints.
منذ أن الشجرة Y1 هي رسمة فيها شجرة ممتدة لP، فهناك مسار في شجرة Y1 للإنضمام لنقطة النهاية.