Kruskal tree theorem

1. redirect Kruskal's tree theorem

{{Redirect category shell|

{{R from modification}}

}}