Kruskal_tree_theorem loading ...