Applying a recent extension (2015) of a structure theorem of Robertson, Seymour and Thomas from 1993, in this paper we establish Robertson's magic-tree conjecture from 1997.

中文翻译：

---

有限树的准有序弗里德曼理想证明罗伯逊魔树猜想

应用 1993 年 Robertson、Seymour 和 Thomas 的结构定理的最新扩展（2015 年），在本文中，我们建立了 1997 年的 Robertson 魔树猜想。